The bald eagle sees the cat. The cat is round. The cat needs the rabbit. The cat sees the lion. The cat visits the lion. The lion is big. The lion is cold. The lion is nice. The lion visits the rabbit. The rabbit is nice. The rabbit is round. The rabbit sees the cat. If something is nice then it is big. If something is kind and it sees the rabbit then it needs the lion. If something needs the rabbit then it is nice. All cold, big things are kind. If something sees the bald eagle and the bald eagle is nice then it needs the rabbit. If something sees the lion then it visits the rabbit. If the bald eagle sees the cat then the bald eagle visits the rabbit. If something visits the rabbit then it needs the rabbit. If something is big then it is cold.
The lion needs the rabbit.
@0: The bald eagle sees the cat.[(triple1)] The cat is round.[(triple2)] The cat needs the rabbit.[(triple3 OR ((((triple4) -> rule6)) -> rule8))] The cat sees the lion.[(triple4)] The cat visits the lion.[(triple5)] The lion is big.[(triple6 OR ((triple8) -> rule1) OR ((((((triple9) -> rule8)) -> rule3)) -> rule1))] The lion is cold.[(triple7 OR ((triple6) -> rule9) OR ((((triple8) -> rule1)) -> rule9) OR ((((((((triple9) -> rule8)) -> rule3)) -> rule1)) -> rule9))] The lion is nice.[(triple8 OR ((((triple9) -> rule8)) -> rule3))] The lion visits the rabbit.[(triple9)] The rabbit is nice.[(triple10)] The rabbit is round.[(triple11)] The rabbit sees the cat.[(triple12)] @1: The bald eagle visits the rabbit.[(((triple1) -> rule7))] The cat is nice.[(((triple3) -> rule3) OR ((((((triple4) -> rule6)) -> rule8)) -> rule3))] The cat visits the rabbit.[(((triple4) -> rule6))] The lion is kind.[(((triple7 triple6) -> rule4) OR ((triple7 ((triple8) -> rule1)) -> rule4) OR ((((triple6) -> rule9) triple6) -> rule4) OR ((((triple6) -> rule9) ((triple8) -> rule1)) -> rule4) OR ((((((triple8) -> rule1)) -> rule9) triple6) -> rule4) OR ((((((triple8) -> rule1)) -> rule9) ((triple8) -> rule1)) -> rule4) OR ((triple7 ((((((triple9) -> rule8)) -> rule3)) -> rule1)) -> rule4) OR ((((triple6) -> rule9) ((((((triple9) -> rule8)) -> rule3)) -> rule1)) -> rule4) OR ((((((triple8) -> rule1)) -> rule9) ((((((triple9) -> rule8)) -> rule3)) -> rule1)) -> rule4) OR ((((((((((triple9) -> rule8)) -> rule3)) -> rule1)) -> rule9) triple6) -> rule4) OR ((((((((((triple9) -> rule8)) -> rule3)) -> rule1)) -> rule9) ((triple8) -> rule1)) -> rule4) OR ((((((((((triple9) -> rule8)) -> rule3)) -> rule1)) -> rule9) ((((((triple9) -> rule8)) -> rule3)) -> rule1)) -> rule4))] The lion needs the rabbit.[(((triple9) -> rule8))] The rabbit is big.[(((triple10) -> rule1))] @2: The bald eagle needs the rabbit.[(((((triple1) -> rule7)) -> rule8))] The cat is big.[(((((triple3) -> rule3)) -> rule1) OR ((((((((triple4) -> rule6)) -> rule8)) -> rule3)) -> rule1))] The rabbit is cold.[(((((triple10) -> rule1)) -> rule9))] @3: The bald eagle is nice.[(((((((triple1) -> rule7)) -> rule8)) -> rule3))] The cat is cold.[(((((((triple3) -> rule3)) -> rule1)) -> rule9) OR ((((((((((triple4) -> rule6)) -> rule8)) -> rule3)) -> rule1)) -> rule9))] The rabbit is kind.[(((((((triple10) -> rule1)) -> rule9) ((triple10) -> rule1)) -> rule4))] @4: The bald eagle is big.[(((((((((triple1) -> rule7)) -> rule8)) -> rule3)) -> rule1))] The cat is kind.[(((((((((triple3) -> rule3)) -> rule1)) -> rule9) ((((triple3) -> rule3)) -> rule1)) -> rule4) OR ((((((((triple3) -> rule3)) -> rule1)) -> rule9) ((((((((triple4) -> rule6)) -> rule8)) -> rule3)) -> rule1)) -> rule4) OR ((((((((((((triple4) -> rule6)) -> rule8)) -> rule3)) -> rule1)) -> rule9) ((((triple3) -> rule3)) -> rule1)) -> rule4) OR ((((((((((((triple4) -> rule6)) -> rule8)) -> rule3)) -> rule1)) -> rule9) ((((((((triple4) -> rule6)) -> rule8)) -> rule3)) -> rule1)) -> rule4))] @5: The bald eagle is cold.[(((((((((((triple1) -> rule7)) -> rule8)) -> rule3)) -> rule1)) -> rule9))] @6: The bald eagle is kind.[(((((((((((((triple1) -> rule7)) -> rule8)) -> rule3)) -> rule1)) -> rule9) ((((((((triple1) -> rule7)) -> rule8)) -> rule3)) -> rule1)) -> rule4))]