The cat eats the cow. The cat is cold. The cat sees the cow. The cat visits the cow. The cow eats the cat. The cow is young. The cow visits the cat. If something visits the cat then the cat is young. If something is cold and it sees the cow then the cow is red. If something is young then it sees the cat. Red things are cold. If something eats the cat then the cat sees the cow. If something is young and it visits the cat then the cat visits the cow.
The cat is round.
@0: The cat eats the cow.[(triple1)] The cat is cold.[(triple2)] The cat sees the cow.[(triple3 OR ((triple5) -> rule5))] The cat visits the cow.[(triple4 OR ((triple6 triple7) -> rule6))] The cow eats the cat.[(triple5)] The cow is young.[(triple6)] The cow visits the cat.[(triple7)] @1: The cat is young.[(((triple7) -> rule1))] The cow is red.[(((triple2 triple3) -> rule2) OR ((triple2 ((triple5) -> rule5)) -> rule2))] The cow sees the cat.[(((triple6) -> rule3))] @2: The cat sees the cat.[(((((triple7) -> rule1)) -> rule3))] The cow is cold.[(((((triple2 triple3) -> rule2)) -> rule4) OR ((((triple2 ((triple5) -> rule5)) -> rule2)) -> rule4))]