The cat likes the cow. The cow is cold. The lion chases the tiger. The lion likes the cat. The lion needs the cow. The lion needs the tiger. The tiger likes the cow. If something likes the tiger then the tiger is cold. If something chases the lion and it needs the lion then it is green. If the cow chases the lion and the cow chases the cat then the lion needs the cow. If the tiger chases the cow then the tiger likes the cat. If something needs the lion then the lion needs the tiger. If something chases the cow then the cow likes the tiger. If something chases the cat then the cat chases the cow. If something is cold then it chases the cat. If something is cold and it chases the cat then it chases the cow.
The tiger does not chase the cat.
@0: The cat likes the cow.[(triple1)] The cow is cold.[(triple2)] The lion chases the tiger.[(triple3)] The lion likes the cat.[(triple4)] The lion needs the cow.[(triple5)] The lion needs the tiger.[(triple6)] The tiger likes the cow.[(triple7)] @1: The cow chases the cat.[(((triple2) -> rule8))] @2: The cat chases the cow.[(((((triple2) -> rule8)) -> rule7) OR ((((((((((triple2 ((triple2) -> rule8)) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule7))] The cow chases the cow.[(((triple2 ((triple2) -> rule8)) -> rule9))] @3: The cow likes the tiger.[(((((((triple2) -> rule8)) -> rule7)) -> rule6) OR ((((triple2 ((triple2) -> rule8)) -> rule9)) -> rule6))] @4: The tiger is cold.[(((((((((triple2) -> rule8)) -> rule7)) -> rule6)) -> rule1) OR ((((((triple2 ((triple2) -> rule8)) -> rule9)) -> rule6)) -> rule1))] @5: The tiger chases the cat.[(((((((((((triple2) -> rule8)) -> rule7)) -> rule6)) -> rule1)) -> rule8) OR ((((((((triple2 ((triple2) -> rule8)) -> rule9)) -> rule6)) -> rule1)) -> rule8))] @6: The tiger chases the cow.[(((((((((((triple2) -> rule8)) -> rule7)) -> rule6)) -> rule1) ((((((((((triple2) -> rule8)) -> rule7)) -> rule6)) -> rule1)) -> rule8)) -> rule9) OR ((((((((((triple2) -> rule8)) -> rule7)) -> rule6)) -> rule1) ((((((((triple2 ((triple2) -> rule8)) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule9) OR ((((((((triple2 ((triple2) -> rule8)) -> rule9)) -> rule6)) -> rule1) ((((((((((triple2) -> rule8)) -> rule7)) -> rule6)) -> rule1)) -> rule8)) -> rule9) OR ((((((((triple2 ((triple2) -> rule8)) -> rule9)) -> rule6)) -> rule1) ((((((((triple2 ((triple2) -> rule8)) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule9))] @7: The tiger likes the cat.[(((((((((((((triple2) -> rule8)) -> rule7)) -> rule6)) -> rule1) ((((((((((triple2) -> rule8)) -> rule7)) -> rule6)) -> rule1)) -> rule8)) -> rule9)) -> rule4) OR ((((((((((((triple2) -> rule8)) -> rule7)) -> rule6)) -> rule1) ((((((((triple2 ((triple2) -> rule8)) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule9)) -> rule4) OR ((((((((((triple2 ((triple2) -> rule8)) -> rule9)) -> rule6)) -> rule1) ((((((((((triple2) -> rule8)) -> rule7)) -> rule6)) -> rule1)) -> rule8)) -> rule9)) -> rule4) OR ((((((((((triple2 ((triple2) -> rule8)) -> rule9)) -> rule6)) -> rule1) ((((((((triple2 ((triple2) -> rule8)) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule9)) -> rule4))]