The cow is cold. The cow is not green. The cow is red. The cow needs the tiger. The cow sees the tiger. The tiger is not rough. The tiger likes the cow. If someone needs the tiger then they are rough. If someone is red then they are blue. If someone likes the cow then they are red. If the cow is green and the cow does not need the tiger then the cow sees the tiger. If someone is blue then they like the tiger. If the cow is rough then the cow likes the tiger.
The tiger does not need the cow.
@0: The cow is cold.[(triple1)] The cow is not green.[(triple2)] The cow is red.[(triple3)] The cow needs the tiger.[(triple4)] The cow sees the tiger.[(triple5)] The tiger is not rough.[(triple6)] The tiger likes the cow.[(triple7)] @1: The cow is blue.[(((triple3) -> rule2))] The cow is rough.[(((triple4) -> rule1))] The tiger is red.[(((triple7) -> rule3))] @2: The cow likes the tiger.[(((((triple3) -> rule2)) -> rule5) OR ((((triple4) -> rule1)) -> rule6))] The tiger is blue.[(((((triple7) -> rule3)) -> rule2))] @3: The tiger likes the tiger.[(((((((triple7) -> rule3)) -> rule2)) -> rule5))]