The bald eagle is green. The cat is big. The cat is rough. The dog needs the cat. The rabbit is big. The rabbit is rough. The rabbit needs the bald eagle. If someone is red and they like the rabbit then they like the dog. If someone needs the dog then the dog likes the bald eagle. If someone likes the rabbit then the rabbit eats the cat. If someone needs the rabbit then the rabbit needs the cat. If someone is big then they need the rabbit. If someone needs the cat and they are rough then the cat likes the rabbit. If the rabbit eats the bald eagle and the bald eagle eats the cat then the bald eagle likes the dog. If someone eats the cat and the cat likes the rabbit then they eat the dog.
The dog likes the dog.
@0: The bald eagle is green.[(triple1)] The cat is big.[(triple2)] The cat is rough.[(triple3)] The dog needs the cat.[(triple4)] The rabbit is big.[(triple5)] The rabbit is rough.[(triple6)] The rabbit needs the bald eagle.[(triple7)] @1: The cat needs the rabbit.[(((triple2) -> rule5))] The rabbit needs the rabbit.[(((triple5) -> rule5))] @2: The rabbit needs the cat.[(((((triple2) -> rule5)) -> rule4) OR ((((triple5) -> rule5)) -> rule4))] @3: The cat likes the rabbit.[(((((((triple2) -> rule5)) -> rule4) triple6) -> rule6) OR ((((((triple5) -> rule5)) -> rule4) triple6) -> rule6))] @4: The rabbit eats the cat.[(((((((((triple2) -> rule5)) -> rule4) triple6) -> rule6)) -> rule3) OR ((((((((triple5) -> rule5)) -> rule4) triple6) -> rule6)) -> rule3))] @5: The rabbit eats the dog.[(((((((((((triple2) -> rule5)) -> rule4) triple6) -> rule6)) -> rule3) ((((((triple2) -> rule5)) -> rule4) triple6) -> rule6)) -> rule8) OR ((((((((((triple2) -> rule5)) -> rule4) triple6) -> rule6)) -> rule3) ((((((triple5) -> rule5)) -> rule4) triple6) -> rule6)) -> rule8) OR ((((((((((triple5) -> rule5)) -> rule4) triple6) -> rule6)) -> rule3) ((((((triple2) -> rule5)) -> rule4) triple6) -> rule6)) -> rule8) OR ((((((((((triple5) -> rule5)) -> rule4) triple6) -> rule6)) -> rule3) ((((((triple5) -> rule5)) -> rule4) triple6) -> rule6)) -> rule8))]