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