The cat needs the lion. The cow is nice. The cow visits the tiger. The lion is cold. The tiger likes the cat. The tiger needs the cow. The tiger visits the cow. If something likes the tiger then the tiger is blue. If something needs the cow then it is nice. If something likes the lion and it needs the cat then the lion likes the cow. If something likes the lion then it is round. If something likes the tiger then the tiger likes the lion. If something is nice then it likes the tiger. If something visits the tiger and the tiger visits the lion then it likes the tiger. If something is blue then it likes the cow.
The lion is round.
@0: The cat needs the lion.[(triple1)] The cow is nice.[(triple2)] The cow visits the tiger.[(triple3)] The lion is cold.[(triple4)] The tiger likes the cat.[(triple5)] The tiger needs the cow.[(triple6)] The tiger visits the cow.[(triple7)] @1: The cow likes the tiger.[(((triple2) -> rule6))] The tiger is nice.[(((triple6) -> rule2))] @2: The tiger is blue.[(((((triple2) -> rule6)) -> rule1) OR ((((((triple6) -> rule2)) -> rule6)) -> rule1))] The tiger likes the lion.[(((((triple2) -> rule6)) -> rule5) OR ((((((triple6) -> rule2)) -> rule6)) -> rule5))] The tiger likes the tiger.[(((((triple6) -> rule2)) -> rule6))] @3: The tiger is round.[(((((((triple2) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple6) -> rule2)) -> rule6)) -> rule5)) -> rule4))] The tiger likes the cow.[(((((((triple2) -> rule6)) -> rule1)) -> rule8) OR ((((((((triple6) -> rule2)) -> rule6)) -> rule1)) -> rule8))]