The cat is round. The cat needs the lion. The cat sees the cow. The cat sees the tiger. The cow is kind. The cow likes the cat. The cow likes the lion. The cow needs the tiger. The lion sees the tiger. The tiger sees the lion. If the tiger likes the cow then the cow likes the lion. All green things are cold. If something is green and it sees the lion then it sees the tiger. If something sees the tiger then the tiger is green. If something needs the cow then it needs the lion. If something sees the cow and it sees the tiger then the cow sees the cat.
The cow is cold.
@0: The cat is round.[(triple1)] The cat needs the lion.[(triple2)] The cat sees the cow.[(triple3)] The cat sees the tiger.[(triple4)] The cow is kind.[(triple5)] The cow likes the cat.[(triple6)] The cow likes the lion.[(triple7)] The cow needs the tiger.[(triple8)] The lion sees the tiger.[(triple9)] The tiger sees the lion.[(triple10)] @1: The cow sees the cat.[(((triple3 triple4) -> rule6))] The tiger is green.[(((triple4) -> rule4) OR ((triple9) -> rule4))] @2: The tiger is cold.[(((((triple4) -> rule4)) -> rule2) OR ((((triple9) -> rule4)) -> rule2))] The tiger sees the tiger.[(((((triple4) -> rule4) triple10) -> rule3) OR ((((triple9) -> rule4) triple10) -> rule3))]