The lion chases the rabbit. The lion is kind. The lion is red. The lion is not round. The lion likes the rabbit. The lion sees the rabbit. The rabbit chases the lion. The rabbit is kind. The rabbit is not nice. The rabbit is round. The rabbit does not like the lion. The rabbit sees the lion. If something sees the lion and it chases the rabbit then it likes the lion. If something sees the rabbit then it chases the lion. If something chases the lion then it sees the lion. If something sees the lion and the lion chases the rabbit then the rabbit sees the lion. If something likes the rabbit and the rabbit likes the lion then the rabbit chases the lion. If the lion chases the rabbit and the rabbit likes the lion then the lion does not like the rabbit. If something sees the rabbit and it is kind then it chases the rabbit. If something sees the lion then the lion sees the rabbit.
The lion is blue.
@0: The lion chases the rabbit.[(triple1 OR ((triple6 triple2) -> rule7) OR ((((triple12) -> rule8) triple2) -> rule7) OR ((((((triple7) -> rule3)) -> rule8) triple2) -> rule7))] The lion is kind.[(triple2)] The lion is not round.[(triple4)] The lion is red.[(triple3)] The lion likes the rabbit.[(triple5)] The lion sees the rabbit.[(triple6 OR ((triple12) -> rule8) OR ((((triple7) -> rule3)) -> rule8))] The rabbit chases the lion.[(triple7)] The rabbit does not like the lion.[(triple11)] The rabbit is kind.[(triple8)] The rabbit is not nice.[(triple9)] The rabbit is round.[(triple10)] The rabbit sees the lion.[(triple12 OR ((triple7) -> rule3) OR ((((((triple6) -> rule2)) -> rule3) triple1) -> rule4) OR ((((((triple6) -> rule2)) -> rule3) ((triple6 triple2) -> rule7)) -> rule4))] @1: The lion chases the lion.[(((triple6) -> rule2) OR ((((triple12) -> rule8)) -> rule2) OR ((((((triple7) -> rule3)) -> rule8)) -> rule2))] @2: The lion sees the lion.[(((((triple6) -> rule2)) -> rule3) OR ((((((triple12) -> rule8)) -> rule2)) -> rule3) OR ((((((((triple7) -> rule3)) -> rule8)) -> rule2)) -> rule3))] @3: The lion likes the lion.[(((((((triple6) -> rule2)) -> rule3) triple1) -> rule1) OR ((((((triple6) -> rule2)) -> rule3) ((triple6 triple2) -> rule7)) -> rule1) OR ((((((triple6) -> rule2)) -> rule3) ((((triple12) -> rule8) triple2) -> rule7)) -> rule1) OR ((((((((triple12) -> rule8)) -> rule2)) -> rule3) triple1) -> rule1) OR ((((((((triple12) -> rule8)) -> rule2)) -> rule3) ((triple6 triple2) -> rule7)) -> rule1) OR ((((((triple6) -> rule2)) -> rule3) ((((((triple7) -> rule3)) -> rule8) triple2) -> rule7)) -> rule1) OR ((((((((triple12) -> rule8)) -> rule2)) -> rule3) ((((triple12) -> rule8) triple2) -> rule7)) -> rule1) OR ((((((((triple12) -> rule8)) -> rule2)) -> rule3) ((((((triple7) -> rule3)) -> rule8) triple2) -> rule7)) -> rule1) OR ((((((((((triple7) -> rule3)) -> rule8)) -> rule2)) -> rule3) triple1) -> rule1) OR ((((((((((triple7) -> rule3)) -> rule8)) -> rule2)) -> rule3) ((triple6 triple2) -> rule7)) -> rule1) OR ((((((((((triple7) -> rule3)) -> rule8)) -> rule2)) -> rule3) ((((triple12) -> rule8) triple2) -> rule7)) -> rule1) OR ((((((((((triple7) -> rule3)) -> rule8)) -> rule2)) -> rule3) ((((((triple7) -> rule3)) -> rule8) triple2) -> rule7)) -> rule1))]