The cat needs the cow. The cat needs the lion. The cow is nice. The cow visits the lion. The dog does not visit the cat. The dog visits the lion. The lion sees the cow. If something sees the cow and the cow sees the lion then it is nice. If something is young and nice then it sees the cat. If something sees the dog and it sees the cow then it is green. If something needs the cow and it does not need the lion then the lion is blue. If something sees the lion and it visits the lion then the lion visits the cow. All nice things are young. If something sees the cat and the cat needs the cow then the cat is nice. If the cat is not nice then the cat is not blue.
The cat is young.
@0: The cat needs the cow.[(triple1)] The cat needs the lion.[(triple2)] The cow is nice.[(triple3)] The cow visits the lion.[(triple4)] The dog does not visit the cat.[(triple5)] The dog visits the lion.[(triple6)] The lion sees the cow.[(triple7)] @1: The cow is young.[(((triple3) -> rule6))] @2: The cow sees the cat.[(((((triple3) -> rule6) triple3) -> rule2))] @3: The cat is nice.[(((((((triple3) -> rule6) triple3) -> rule2) triple1) -> rule7))] @4: The cat is young.[(((((((((triple3) -> rule6) triple3) -> rule2) triple1) -> rule7)) -> rule6))] @5: The cat sees the cat.[(((((((((((triple3) -> rule6) triple3) -> rule2) triple1) -> rule7)) -> rule6) ((((((triple3) -> rule6) triple3) -> rule2) triple1) -> rule7)) -> rule2))]