The dog is big. The dog is blue. The dog is kind. All blue, big things are kind. Red, kind things are blue. All kind, big things are blue. Big, young things are blue. If something is young and kind then it is red. Big things are kind. If the dog is red and the dog is blue then the dog is young. Kind things are red.
The dog is not kind.
@0: The dog is big.[(triple1)] The dog is blue.[(triple2 OR ((triple3 triple1) -> rule3) OR ((((triple1) -> rule6) triple1) -> rule3) OR ((((triple3) -> rule8) triple3) -> rule2) OR ((((triple3) -> rule8) ((triple1) -> rule6)) -> rule2) OR ((((((triple1) -> rule6)) -> rule8) triple3) -> rule2) OR ((((((triple1) -> rule6)) -> rule8) ((triple1) -> rule6)) -> rule2))] The dog is kind.[(triple3 OR ((triple1) -> rule6) OR ((triple2 triple1) -> rule1))] @1: The dog is red.[(((triple3) -> rule8) OR ((((triple1) -> rule6)) -> rule8) OR ((((triple2 triple1) -> rule1)) -> rule8))] @2: The dog is young.[(((((triple3) -> rule8) triple2) -> rule7) OR ((((triple3) -> rule8) ((triple3 triple1) -> rule3)) -> rule7) OR ((((((triple1) -> rule6)) -> rule8) triple2) -> rule7) OR ((((((triple2 triple1) -> rule1)) -> rule8) triple2) -> rule7) OR ((((triple3) -> rule8) ((((triple1) -> rule6) triple1) -> rule3)) -> rule7) OR ((((triple3) -> rule8) ((((triple3) -> rule8) triple3) -> rule2)) -> rule7) OR ((((((triple1) -> rule6)) -> rule8) ((triple3 triple1) -> rule3)) -> rule7) OR ((((((triple2 triple1) -> rule1)) -> rule8) ((triple3 triple1) -> rule3)) -> rule7) OR ((((triple3) -> rule8) ((((triple3) -> rule8) ((triple1) -> rule6)) -> rule2)) -> rule7) OR ((((((triple1) -> rule6)) -> rule8) ((((triple1) -> rule6) triple1) -> rule3)) -> rule7) OR ((((((triple1) -> rule6)) -> rule8) ((((triple3) -> rule8) triple3) -> rule2)) -> rule7) OR ((((((triple2 triple1) -> rule1)) -> rule8) ((((triple1) -> rule6) triple1) -> rule3)) -> rule7) OR ((((((triple2 triple1) -> rule1)) -> rule8) ((((triple3) -> rule8) triple3) -> rule2)) -> rule7) OR ((((((triple1) -> rule6)) -> rule8) ((((triple3) -> rule8) ((triple1) -> rule6)) -> rule2)) -> rule7) OR ((((((triple2 triple1) -> rule1)) -> rule8) ((((triple3) -> rule8) ((triple1) -> rule6)) -> rule2)) -> rule7) OR ((((triple3) -> rule8) ((((((triple1) -> rule6)) -> rule8) triple3) -> rule2)) -> rule7) OR ((((triple3) -> rule8) ((((((triple1) -> rule6)) -> rule8) ((triple1) -> rule6)) -> rule2)) -> rule7) OR ((((((triple1) -> rule6)) -> rule8) ((((((triple1) -> rule6)) -> rule8) triple3) -> rule2)) -> rule7) OR ((((((triple2 triple1) -> rule1)) -> rule8) ((((((triple1) -> rule6)) -> rule8) triple3) -> rule2)) -> rule7) OR ((((((triple1) -> rule6)) -> rule8) ((((((triple1) -> rule6)) -> rule8) ((triple1) -> rule6)) -> rule2)) -> rule7) OR ((((((triple2 triple1) -> rule1)) -> rule8) ((((((triple1) -> rule6)) -> rule8) ((triple1) -> rule6)) -> rule2)) -> rule7))]