The cow is green. The cow is nice. The cow likes the lion. The cow needs the tiger. The cow sees the lion. The cow sees the tiger. The lion likes the cow. The lion does not need the cow. The tiger is cold. The tiger likes the cow. The tiger sees the cow. The tiger sees the lion. If someone needs the cow and the cow is green then they like the cow. If someone needs the tiger then the tiger is blue. If the lion is kind and the lion sees the cow then the lion needs the cow. If the tiger does not see the lion then the lion needs the cow. Blue people are nice. If someone is nice then they need the cow. If someone is cold and they do not like the tiger then they do not see the tiger. If someone needs the tiger and they do not like the cow then the tiger is cold.
The tiger is kind.
@0: The cow is green.[(triple1)] The cow is nice.[(triple2)] The cow likes the lion.[(triple3)] The cow needs the tiger.[(triple4)] The cow sees the lion.[(triple5)] The cow sees the tiger.[(triple6)] The lion does not need the cow.[(triple8)] The lion likes the cow.[(triple7)] The tiger is cold.[(triple9)] The tiger likes the cow.[(triple10 OR ((((((((triple4) -> rule2)) -> rule5)) -> rule6) triple1) -> rule1))] The tiger sees the cow.[(triple11)] The tiger sees the lion.[(triple12)] @1: The cow needs the cow.[(((triple2) -> rule6))] The tiger is blue.[(((triple4) -> rule2))] @2: The cow likes the cow.[(((((triple2) -> rule6) triple1) -> rule1))] The tiger is nice.[(((((triple4) -> rule2)) -> rule5))] @3: The tiger needs the cow.[(((((((triple4) -> rule2)) -> rule5)) -> rule6))]