The cat likes the rabbit. The cat needs the tiger. The cat sees the tiger. The dog is blue. The dog likes the rabbit. The dog likes the tiger. The rabbit is red. The rabbit likes the cat. The rabbit needs the cat. The rabbit needs the dog. The rabbit needs the tiger. The rabbit sees the tiger. The tiger is blue. The tiger likes the dog. The tiger needs the cat. The tiger sees the cat. If someone sees the dog then they are rough. If the rabbit is round and the rabbit likes the cat then the cat sees the dog. If someone likes the cat then they see the dog. If the rabbit likes the dog then the dog is blue. If the rabbit likes the tiger then the tiger needs the dog. If someone needs the tiger then they like the rabbit. If the dog is rough then the dog needs the cat. If someone likes the tiger and the tiger needs the cat then the cat is blue. Rough people are round.
The dog is not rough.
@0: The cat likes the rabbit.[(triple1 OR ((triple2) -> rule6))] The cat needs the tiger.[(triple2)] The cat sees the tiger.[(triple3)] The dog is blue.[(triple4)] The dog likes the rabbit.[(triple5)] The dog likes the tiger.[(triple6)] The rabbit is red.[(triple7)] The rabbit likes the cat.[(triple8)] The rabbit needs the cat.[(triple9)] The rabbit needs the dog.[(triple10)] The rabbit needs the tiger.[(triple11)] The rabbit sees the tiger.[(triple12)] The tiger is blue.[(triple13)] The tiger likes the dog.[(triple14)] The tiger needs the cat.[(triple15)] The tiger sees the cat.[(triple16)] @1: The cat is blue.[(((triple6 triple15) -> rule8))] The rabbit likes the rabbit.[(((triple11) -> rule6))] The rabbit sees the dog.[(((triple8) -> rule3))] @2: The rabbit is rough.[(((((triple8) -> rule3)) -> rule1))] @3: The rabbit is round.[(((((((triple8) -> rule3)) -> rule1)) -> rule9))] @4: The cat sees the dog.[(((((((((triple8) -> rule3)) -> rule1)) -> rule9) triple8) -> rule2))] @5: The cat is rough.[(((((((((((triple8) -> rule3)) -> rule1)) -> rule9) triple8) -> rule2)) -> rule1))] @6: The cat is round.[(((((((((((((triple8) -> rule3)) -> rule1)) -> rule9) triple8) -> rule2)) -> rule1)) -> rule9))]