The cat eats the rabbit. The cow eats the rabbit. The cow is green. The cow needs the cat. The cow needs the lion. The cow sees the lion. The lion is blue. The rabbit eats the cow. The rabbit is nice. The rabbit sees the lion. If something eats the rabbit then the rabbit is blue. If something eats the cow and it sees the lion then it sees the rabbit. If something is big then it eats the cat. If something is nice and it eats the cat then the cat sees the rabbit. If something is green and it needs the cow then it sees the cat. If something sees the cat then it eats the cat. If something sees the rabbit then it sees the cat. If something eats the cow and the cow needs the rabbit then it eats the rabbit.
The rabbit does not eat the lion.
@0: The cat eats the rabbit.[(triple1)] The cow eats the rabbit.[(triple2)] The cow is green.[(triple3)] The cow needs the cat.[(triple4)] The cow needs the lion.[(triple5)] The cow sees the lion.[(triple6)] The lion is blue.[(triple7)] The rabbit eats the cow.[(triple8)] The rabbit is nice.[(triple9)] The rabbit sees the lion.[(triple10)] @1: The rabbit is blue.[(((triple1) -> rule1) OR ((triple2) -> rule1))] The rabbit sees the rabbit.[(((triple8 triple10) -> rule2))] @2: The rabbit sees the cat.[(((((triple8 triple10) -> rule2)) -> rule7))] @3: The rabbit eats the cat.[(((((((triple8 triple10) -> rule2)) -> rule7)) -> rule6))] @4: The cat sees the rabbit.[(((triple9 ((((((triple8 triple10) -> rule2)) -> rule7)) -> rule6)) -> rule4))] @5: The cat sees the cat.[(((((triple9 ((((((triple8 triple10) -> rule2)) -> rule7)) -> rule6)) -> rule4)) -> rule7))] @6: The cat eats the cat.[(((((((triple9 ((((((triple8 triple10) -> rule2)) -> rule7)) -> rule6)) -> rule4)) -> rule7)) -> rule6))]