The cat chases the rabbit. The cat is big. The cat is blue. The cat is nice. The cat is rough. The cat likes the rabbit. The cat visits the rabbit. The rabbit is big. The rabbit is rough. The rabbit is round. The rabbit likes the cat. The rabbit visits the cat. If something is rough and it likes the cat then the cat is rough. If something likes the cat then it likes the rabbit.
The cat is big.
@0: The cat chases the rabbit.[(triple1)] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat is nice.[(triple4)] The cat is rough.[(triple5 OR ((triple9 triple11) -> rule1))] The cat likes the rabbit.[(triple6)] The cat visits the rabbit.[(triple7)] The rabbit is big.[(triple8)] The rabbit is rough.[(triple9)] The rabbit is round.[(triple10)] The rabbit likes the cat.[(triple11)] The rabbit visits the cat.[(triple12)] @1: The rabbit likes the rabbit.[(((triple11) -> rule2))]