The dog is big. The dog is kind. The dog is red. The dog is rough. The dog is young. Rough people are big. If the dog is red and the dog is kind then the dog is young. If someone is big and kind then they are red. If someone is young and red then they are big. If someone is red and rough then they are young. If someone is red then they are rough.
The dog is not big.
@0: The dog is big.[(triple1 OR ((triple4) -> rule1) OR ((triple5 triple3) -> rule4) OR ((((triple3) -> rule6)) -> rule1) OR ((((triple3 triple2) -> rule2) triple3) -> rule4) OR ((((triple3 triple4) -> rule5) triple3) -> rule4) OR ((((triple3 ((triple3) -> rule6)) -> rule5) triple3) -> rule4))] The dog is kind.[(triple2)] The dog is red.[(triple3 OR ((triple1 triple2) -> rule3) OR ((((triple4) -> rule1) triple2) -> rule3))] The dog is rough.[(triple4 OR ((triple3) -> rule6) OR ((((triple1 triple2) -> rule3)) -> rule6))] The dog is young.[(triple5 OR ((triple3 triple2) -> rule2) OR ((triple3 triple4) -> rule5) OR ((triple3 ((triple3) -> rule6)) -> rule5) OR ((((triple1 triple2) -> rule3) triple2) -> rule2) OR ((((triple1 triple2) -> rule3) triple4) -> rule5) OR ((((triple1 triple2) -> rule3) ((triple3) -> rule6)) -> rule5) OR ((triple3 ((((triple1 triple2) -> rule3)) -> rule6)) -> rule5) OR ((((((triple4) -> rule1) triple2) -> rule3) triple2) -> rule2) OR ((((((triple4) -> rule1) triple2) -> rule3) triple4) -> rule5) OR ((((triple1 triple2) -> rule3) ((((triple1 triple2) -> rule3)) -> rule6)) -> rule5) OR ((((((triple4) -> rule1) triple2) -> rule3) ((triple3) -> rule6)) -> rule5) OR ((((((triple4) -> rule1) triple2) -> rule3) ((((triple1 triple2) -> rule3)) -> rule6)) -> rule5))]