The bald eagle chases the cat. The bald eagle likes the dog. The cat is green. The cat is red. The cat likes the lion. The dog chases the cat. The dog is red. The dog sees the bald eagle. The dog sees the lion. The lion is green. The lion is rough. The lion sees the cat. If someone is cold then they like the bald eagle. If someone sees the cat and they like the bald eagle then the cat is rough. If someone sees the bald eagle then the bald eagle likes the dog. All rough people are nice. If someone sees the lion then they are green. If the bald eagle is red then the bald eagle is nice. All nice people are cold. If someone chases the dog and the dog likes the cat then they see the bald eagle. If someone is rough then they like the dog.
The cat likes the dog.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle likes the dog.[(triple2 OR ((triple8) -> rule3))] The cat is green.[(triple3)] The cat is red.[(triple4)] The cat likes the lion.[(triple5)] The dog chases the cat.[(triple6)] The dog is red.[(triple7)] The dog sees the bald eagle.[(triple8)] The dog sees the lion.[(triple9)] The lion is green.[(triple10)] The lion is rough.[(triple11)] The lion sees the cat.[(triple12)] @1: The dog is green.[(((triple9) -> rule5))] The lion is nice.[(((triple11) -> rule4))] The lion likes the dog.[(((triple11) -> rule9))] @2: The lion is cold.[(((((triple11) -> rule4)) -> rule7))] @3: The lion likes the bald eagle.[(((((((triple11) -> rule4)) -> rule7)) -> rule1))] @4: The cat is rough.[(((triple12 ((((((triple11) -> rule4)) -> rule7)) -> rule1)) -> rule2))] @5: The cat is nice.[(((((triple12 ((((((triple11) -> rule4)) -> rule7)) -> rule1)) -> rule2)) -> rule4))] The cat likes the dog.[(((((triple12 ((((((triple11) -> rule4)) -> rule7)) -> rule1)) -> rule2)) -> rule9))] @6: The cat is cold.[(((((((triple12 ((((((triple11) -> rule4)) -> rule7)) -> rule1)) -> rule2)) -> rule4)) -> rule7))] @7: The cat likes the bald eagle.[(((((((((triple12 ((((((triple11) -> rule4)) -> rule7)) -> rule1)) -> rule2)) -> rule4)) -> rule7)) -> rule1))]