The dog is blue. The dog is cold. The dog needs the tiger. The squirrel is cold. The squirrel visits the tiger. The tiger eats the dog. The tiger eats the squirrel. The tiger is big. The tiger is blue. The tiger is cold. If someone is round then they eat the dog. If someone visits the tiger and the tiger is round then the tiger visits the squirrel. If someone eats the squirrel then they are big. If someone is kind and they visit the tiger then the tiger needs the squirrel. If someone eats the dog and the dog needs the tiger then the tiger eats the squirrel. All big people are round. If the dog visits the tiger and the dog visits the squirrel then the dog needs the squirrel. If someone visits the squirrel then they eat the tiger.
The dog eats the tiger.
@0: The dog is blue.[(triple1)] The dog is cold.[(triple2)] The dog needs the tiger.[(triple3)] The squirrel is cold.[(triple4)] The squirrel visits the tiger.[(triple5)] The tiger eats the dog.[(triple6 OR ((((triple8) -> rule6)) -> rule1) OR ((((((triple7) -> rule3)) -> rule6)) -> rule1))] The tiger eats the squirrel.[(triple7 OR ((triple6 triple3) -> rule5) OR ((((((triple8) -> rule6)) -> rule1) triple3) -> rule5))] The tiger is big.[(triple8 OR ((triple7) -> rule3) OR ((((triple6 triple3) -> rule5)) -> rule3))] The tiger is blue.[(triple9)] The tiger is cold.[(triple10)] @1: The tiger is round.[(((triple8) -> rule6) OR ((((triple7) -> rule3)) -> rule6) OR ((((((triple6 triple3) -> rule5)) -> rule3)) -> rule6))] @2: The tiger visits the squirrel.[(((triple5 ((triple8) -> rule6)) -> rule2) OR ((triple5 ((((triple7) -> rule3)) -> rule6)) -> rule2) OR ((triple5 ((((((triple6 triple3) -> rule5)) -> rule3)) -> rule6)) -> rule2))] @3: The tiger eats the tiger.[(((((triple5 ((triple8) -> rule6)) -> rule2)) -> rule8) OR ((((triple5 ((((triple7) -> rule3)) -> rule6)) -> rule2)) -> rule8) OR ((((triple5 ((((((triple6 triple3) -> rule5)) -> rule3)) -> rule6)) -> rule2)) -> rule8))]