The cat is blue. The cat is nice. The cat is round. The cat visits the cow. The cow chases the cat. The cow is blue. The cow is cold. The cow is green. The cow is nice. The cow is round. The cow sees the cat. The cow visits the cat. If someone is cold then they see the cat. If someone is green and they see the cat then they visit the cow. If someone visits the cow and the cow visits the cat then they see the cow. If someone visits the cat and they see the cow then the cat chases the cow. If someone chases the cow and they see the cat then the cow chases the cat. If someone visits the cow then the cow sees the cat.
The cat visits the cat.
@0: The cat is blue.[(triple1)] The cat is nice.[(triple2)] The cat is round.[(triple3)] The cat visits the cow.[(triple4)] The cow chases the cat.[(triple5)] The cow is blue.[(triple6)] The cow is cold.[(triple7)] The cow is green.[(triple8)] The cow is nice.[(triple9)] The cow is round.[(triple10)] The cow sees the cat.[(triple11 OR ((triple4) -> rule6) OR ((triple7) -> rule1))] The cow visits the cat.[(triple12)] @1: The cat sees the cow.[(((triple4 triple12) -> rule3))] The cow visits the cow.[(((triple8 triple11) -> rule2) OR ((triple8 ((triple4) -> rule6)) -> rule2) OR ((triple8 ((triple7) -> rule1)) -> rule2))] @2: The cow sees the cow.[(((((triple8 triple11) -> rule2) triple12) -> rule3) OR ((((triple8 ((triple4) -> rule6)) -> rule2) triple12) -> rule3) OR ((((triple8 ((triple7) -> rule1)) -> rule2) triple12) -> rule3))] @3: The cat chases the cow.[(((triple12 ((((triple8 triple11) -> rule2) triple12) -> rule3)) -> rule4) OR ((triple12 ((((triple8 ((triple4) -> rule6)) -> rule2) triple12) -> rule3)) -> rule4) OR ((triple12 ((((triple8 ((triple7) -> rule1)) -> rule2) triple12) -> rule3)) -> rule4))]