The dog chases the rabbit. The dog is big. The dog is cold. The dog is red. The dog is rough. The dog likes the rabbit. The dog sees the rabbit. The rabbit is cold. The rabbit is red. The rabbit is rough. The rabbit likes the dog. The rabbit sees the dog. If something is red and rough then it sees the rabbit. If something sees the rabbit and the rabbit likes the dog then it chases the dog.
The rabbit does not chase the dog.
@0: The dog chases the rabbit.[(triple1)] The dog is big.[(triple2)] The dog is cold.[(triple3)] The dog is red.[(triple4)] The dog is rough.[(triple5)] The dog likes the rabbit.[(triple6)] The dog sees the rabbit.[(triple7 OR ((triple4 triple5) -> rule1))] The rabbit is cold.[(triple8)] The rabbit is red.[(triple9)] The rabbit is rough.[(triple10)] The rabbit likes the dog.[(triple11)] The rabbit sees the dog.[(triple12)] @1: The dog chases the dog.[(((triple7 triple11) -> rule2) OR ((((triple4 triple5) -> rule1) triple11) -> rule2))] The rabbit sees the rabbit.[(((triple9 triple10) -> rule1))] @2: The rabbit chases the dog.[(((((triple9 triple10) -> rule1) triple11) -> rule2))]