The cat is young. The cat likes the cow. The cat needs the cow. The cow is kind. The cow is young. The cow needs the cat. The cow sees the cat. If something sees the cow and the cow does not need the cat then the cow is rough. If the cat sees the cow then the cow likes the cat. If something is young then it sees the cow. If something sees the cat and it likes the cat then it is not round. If the cow likes the cat then the cat likes the cow. If the cat is young then the cat needs the cow.
The cow needs the cat.
@0: The cat is young.[(triple1)] The cat likes the cow.[(triple2 OR ((((((triple1) -> rule3)) -> rule2)) -> rule5))] The cat needs the cow.[(triple3 OR ((triple1) -> rule6))] The cow is kind.[(triple4)] The cow is young.[(triple5)] The cow needs the cat.[(triple6)] The cow sees the cat.[(triple7)] @1: The cat sees the cow.[(((triple1) -> rule3))] The cow sees the cow.[(((triple5) -> rule3))] @2: The cow likes the cat.[(((((triple1) -> rule3)) -> rule2))] @3: The cow is not round.[(((triple7 ((((triple1) -> rule3)) -> rule2)) -> rule4))]