The cat chases the rabbit. The cat is cold. The cat is green. The cat likes the rabbit. The cat needs the rabbit. The rabbit chases the cat. The rabbit is cold. The rabbit is green. The rabbit is red. The rabbit is rough. The rabbit likes the cat. The rabbit needs the cat. If something likes the rabbit and it needs the cat then the cat chases the rabbit. If something is cold then it is nice. If something chases the cat and it likes the cat then the cat likes the rabbit. If something is nice and red then it needs the rabbit. If something needs the cat then the cat chases the rabbit. If something needs the rabbit then it chases the rabbit.
The rabbit is nice.
@0: The cat chases the rabbit.[(triple1 OR ((triple12) -> rule5) OR ((triple5) -> rule6))] The cat is cold.[(triple2)] The cat is green.[(triple3)] The cat likes the rabbit.[(triple4 OR ((triple6 triple11) -> rule3))] The cat needs the rabbit.[(triple5)] The rabbit chases the cat.[(triple6)] The rabbit is cold.[(triple7)] The rabbit is green.[(triple8)] The rabbit is red.[(triple9)] The rabbit is rough.[(triple10)] The rabbit likes the cat.[(triple11)] The rabbit needs the cat.[(triple12)] @1: The cat is nice.[(((triple2) -> rule2))] The rabbit is nice.[(((triple7) -> rule2))] @2: The rabbit needs the rabbit.[(((((triple7) -> rule2) triple9) -> rule4))] @3: The rabbit chases the rabbit.[(((((((triple7) -> rule2) triple9) -> rule4)) -> rule6))]