The cat is green. The cat is nice. The cat is not red. The cat likes the cow. The cat needs the cow. The cat visits the cow. The cow visits the cat. If someone is young then they like the cow. If someone is young then they visit the cat. If someone visits the cow then the cow is young. If someone needs the cow and they are kind then the cow needs the cat. If someone likes the cow then they visit the cow. If someone is nice and not kind then they need the cow.
The cow visits the cow.
@0: The cat is green.[(triple1)] The cat is nice.[(triple2)] The cat is not red.[(triple3)] The cat likes the cow.[(triple4)] The cat needs the cow.[(triple5)] The cat visits the cow.[(triple6 OR ((triple4) -> rule5))] The cow visits the cat.[(triple7 OR ((((triple6) -> rule3)) -> rule2) OR ((((((triple4) -> rule5)) -> rule3)) -> rule2))] @1: The cow is young.[(((triple6) -> rule3) OR ((((triple4) -> rule5)) -> rule3))] @2: The cow likes the cow.[(((((triple6) -> rule3)) -> rule1) OR ((((((triple4) -> rule5)) -> rule3)) -> rule1))] @3: The cow visits the cow.[(((((((triple6) -> rule3)) -> rule1)) -> rule5) OR ((((((((triple4) -> rule5)) -> rule3)) -> rule1)) -> rule5))]