The cat is red. The cat likes the dog. The cat needs the dog. The dog is cold. The dog likes the cat. The mouse is green. The mouse likes the dog. The mouse needs the cat. The mouse sees the cat. The mouse sees the dog. If something is red then it needs the cat. If something needs the dog then it needs the mouse. If something is red then it likes the cat. If something sees the cat and the cat sees the dog then the cat needs the mouse. If something likes the dog and the dog likes the mouse then it needs the mouse. Green things are rough. If something is green and young then it sees the dog. If something is rough then it needs the dog.
The mouse is rough.
@0: The cat is red.[(triple1)] The cat likes the dog.[(triple2)] The cat needs the dog.[(triple3)] The dog is cold.[(triple4)] The dog likes the cat.[(triple5)] The mouse is green.[(triple6)] The mouse likes the dog.[(triple7)] The mouse needs the cat.[(triple8)] The mouse sees the cat.[(triple9)] The mouse sees the dog.[(triple10)] @1: The cat likes the cat.[(((triple1) -> rule3))] The cat needs the cat.[(((triple1) -> rule1))] The cat needs the mouse.[(((triple3) -> rule2))] The mouse is rough.[(((triple6) -> rule6))] @2: The mouse needs the dog.[(((((triple6) -> rule6)) -> rule8))] @3: The mouse needs the mouse.[(((((((triple6) -> rule6)) -> rule8)) -> rule2))]