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