The cow is cold. The cow is young. The cow likes the lion. The cow sees the lion. The lion is cold. The lion is red. The lion needs the cow. If something is red then it is blue. If something likes the lion and the lion sees the cow then it sees the cow. If something is cold and blue then it sees the cow. If the cow needs the lion and the lion likes the cow then the cow likes the lion. If something sees the lion then it is red. If something needs the cow and the cow is big then the cow likes the lion. If something needs the cow then it is cold. If something needs the cow then the cow sees the lion.
The cow is blue.
@0: The cow is cold.[(triple1)] The cow is young.[(triple2)] The cow likes the lion.[(triple3)] The cow sees the lion.[(triple4 OR ((triple7) -> rule8))] The lion is cold.[(triple5 OR ((triple7) -> rule7))] The lion is red.[(triple6)] The lion needs the cow.[(triple7)] @1: The cow is red.[(((triple4) -> rule5) OR ((((triple7) -> rule8)) -> rule5))] The lion is blue.[(((triple6) -> rule1))] @2: The cow is blue.[(((((triple4) -> rule5)) -> rule1) OR ((((((triple7) -> rule8)) -> rule5)) -> rule1))] The lion sees the cow.[(((triple5 ((triple6) -> rule1)) -> rule3) OR ((((triple7) -> rule7) ((triple6) -> rule1)) -> rule3))] @3: The cow sees the cow.[(((triple1 ((((triple4) -> rule5)) -> rule1)) -> rule3) OR ((triple3 ((triple5 ((triple6) -> rule1)) -> rule3)) -> rule2) OR ((triple3 ((((triple7) -> rule7) ((triple6) -> rule1)) -> rule3)) -> rule2) OR ((triple1 ((((((triple7) -> rule8)) -> rule5)) -> rule1)) -> rule3))]