The lion chases the rabbit. The lion is kind. The lion likes the rabbit. The lion sees the rabbit. The rabbit is kind. The rabbit likes the lion. The rabbit sees the lion. If the lion chases the rabbit and the rabbit sees the lion then the rabbit is round. If something likes the rabbit and it is round then the rabbit is nice. If something likes the rabbit then the rabbit sees the lion. If something likes the rabbit then the rabbit chases the lion. If something chases the lion then the lion is round. If something is nice then it is cold. If something likes the lion then it likes the rabbit. If something is nice and it likes the lion then it likes the rabbit.
The lion is round.
@0: The lion chases the rabbit.[(triple1)] The lion is kind.[(triple2)] The lion likes the rabbit.[(triple3)] The lion sees the rabbit.[(triple4)] The rabbit is kind.[(triple5)] The rabbit likes the lion.[(triple6)] The rabbit sees the lion.[(triple7 OR ((triple3) -> rule3) OR ((((triple6) -> rule7)) -> rule3) OR ((((((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2) triple6) -> rule8)) -> rule3))] @1: The rabbit chases the lion.[(((triple3) -> rule4) OR ((((triple6) -> rule7)) -> rule4))] The rabbit is round.[(((triple1 triple7) -> rule1) OR ((triple1 ((triple3) -> rule3)) -> rule1) OR ((triple1 ((((triple6) -> rule7)) -> rule3)) -> rule1) OR ((triple1 ((((((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2) triple6) -> rule8)) -> rule3)) -> rule1))] The rabbit likes the rabbit.[(((triple6) -> rule7) OR ((((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2) triple6) -> rule8))] @2: The lion is round.[(((((triple3) -> rule4)) -> rule5) OR ((((((triple6) -> rule7)) -> rule4)) -> rule5))] The rabbit is nice.[(((((triple6) -> rule7) ((triple1 triple7) -> rule1)) -> rule2) OR ((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((triple6) -> rule7) ((triple1 ((triple3) -> rule3)) -> rule1)) -> rule2) OR ((triple3 ((((((triple6) -> rule7)) -> rule4)) -> rule5)) -> rule2) OR ((((triple6) -> rule7) ((triple1 ((((triple6) -> rule7)) -> rule3)) -> rule1)) -> rule2))] @3: The rabbit is cold.[(((((((triple6) -> rule7) ((triple1 triple7) -> rule1)) -> rule2)) -> rule6) OR ((((triple3 ((((triple3) -> rule4)) -> rule5)) -> rule2)) -> rule6) OR ((((((triple6) -> rule7) ((triple1 ((triple3) -> rule3)) -> rule1)) -> rule2)) -> rule6) OR ((((triple3 ((((((triple6) -> rule7)) -> rule4)) -> rule5)) -> rule2)) -> rule6) OR ((((((triple6) -> rule7) ((triple1 ((((triple6) -> rule7)) -> rule3)) -> rule1)) -> rule2)) -> rule6))]