The cat is nice. The cat is round. The cat is young. The cat needs the cow. The cat sees the cow. The cat visits the cow. The cow is big. The cow is kind. The cow sees the cat. The cow visits the cat. If someone visits the cow then the cow needs the cat. If the cow sees the cat and the cat is round then the cow needs the cat. If someone is kind and they see the cat then they need the cow. If someone visits the cow and the cow needs the cat then the cat is big. If the cow visits the cat and the cat is nice then the cow is young. If someone is big then they need the cat.
The cat does not visit the cat.
@0: The cat is nice.[(triple1)] The cat is round.[(triple2)] The cat is young.[(triple3)] The cat needs the cow.[(triple4)] The cat sees the cow.[(triple5)] The cat visits the cow.[(triple6)] The cow is big.[(triple7)] The cow is kind.[(triple8)] The cow sees the cat.[(triple9)] The cow visits the cat.[(triple10)] @1: The cow is young.[(((triple10 triple1) -> rule5))] The cow needs the cat.[(((triple6) -> rule1) OR ((triple7) -> rule6) OR ((triple9 triple2) -> rule2))] The cow needs the cow.[(((triple8 triple9) -> rule3))] @2: The cat is big.[(((triple6 ((triple6) -> rule1)) -> rule4) OR ((triple6 ((triple7) -> rule6)) -> rule4) OR ((triple6 ((triple9 triple2) -> rule2)) -> rule4))] @3: The cat needs the cat.[(((((triple6 ((triple6) -> rule1)) -> rule4)) -> rule6) OR ((((triple6 ((triple7) -> rule6)) -> rule4)) -> rule6) OR ((((triple6 ((triple9 triple2) -> rule2)) -> rule4)) -> rule6))]