The dog is not big. The dog likes the rabbit. The dog needs the rabbit. The dog sees the rabbit. The rabbit is not big. The rabbit is cold. The rabbit is round. The rabbit likes the dog. The rabbit needs the dog. The rabbit sees the dog. If something is big then it likes the rabbit. If something sees the rabbit and it likes the rabbit then the rabbit likes the dog. If something likes the dog and it is round then the dog is rough. If something is big and not round then it needs the dog. If something likes the dog and it likes the rabbit then the dog is young. If something is big and it does not like the dog then the dog needs the rabbit.
The rabbit is cold.
@0: The dog is not big.[(triple1)] The dog likes the rabbit.[(triple2)] The dog needs the rabbit.[(triple3)] The dog sees the rabbit.[(triple4)] The rabbit is cold.[(triple6)] The rabbit is not big.[(triple5)] The rabbit is round.[(triple7)] The rabbit likes the dog.[(triple8 OR ((triple4 triple2) -> rule2))] The rabbit needs the dog.[(triple9)] The rabbit sees the dog.[(triple10)] @1: The dog is rough.[(((triple8 triple7) -> rule3) OR ((((triple4 triple2) -> rule2) triple7) -> rule3))]