The lion eats the rabbit. The lion is green. The lion is nice. The lion is red. The lion is rough. The lion is round. The lion sees the rabbit. The lion visits the rabbit. The rabbit eats the lion. The rabbit is nice. The rabbit is rough. The rabbit visits the lion. If something is round then it visits the lion. If something is nice then it eats the rabbit. If something eats the rabbit then the rabbit sees the lion. If the rabbit visits the lion and the rabbit is red then the lion sees the rabbit. If something is nice and it eats the rabbit then it is round. If something is round then it visits the rabbit. If something is round and it visits the rabbit then the rabbit eats the lion. If something sees the rabbit and the rabbit is red then it is red.
The rabbit is not round.
@0: The lion eats the rabbit.[(triple1 OR ((triple3) -> rule2))] The lion is green.[(triple2)] The lion is nice.[(triple3)] The lion is red.[(triple4)] The lion is rough.[(triple5)] The lion is round.[(triple6 OR ((triple3 triple1) -> rule5) OR ((triple3 ((triple3) -> rule2)) -> rule5))] The lion sees the rabbit.[(triple7)] The lion visits the rabbit.[(triple8 OR ((triple6) -> rule6) OR ((((triple3 triple1) -> rule5)) -> rule6) OR ((((triple3 ((triple3) -> rule2)) -> rule5)) -> rule6))] The rabbit eats the lion.[(triple9 OR ((triple6 triple8) -> rule7) OR ((triple6 ((triple6) -> rule6)) -> rule7) OR ((((triple3 triple1) -> rule5) triple8) -> rule7) OR ((((triple3 triple1) -> rule5) ((triple6) -> rule6)) -> rule7) OR ((triple6 ((((triple3 triple1) -> rule5)) -> rule6)) -> rule7) OR ((((triple3 ((triple3) -> rule2)) -> rule5) triple8) -> rule7) OR ((((triple3 triple1) -> rule5) ((((triple3 triple1) -> rule5)) -> rule6)) -> rule7) OR ((((triple3 ((triple3) -> rule2)) -> rule5) ((triple6) -> rule6)) -> rule7) OR ((((triple3 ((triple3) -> rule2)) -> rule5) ((((triple3 triple1) -> rule5)) -> rule6)) -> rule7) OR ((triple6 ((((triple3 ((triple3) -> rule2)) -> rule5)) -> rule6)) -> rule7) OR ((((triple3 triple1) -> rule5) ((((triple3 ((triple3) -> rule2)) -> rule5)) -> rule6)) -> rule7) OR ((((triple10 ((triple10) -> rule2)) -> rule5) ((((triple10 ((triple10) -> rule2)) -> rule5)) -> rule6)) -> rule7) OR ((((triple3 ((triple3) -> rule2)) -> rule5) ((((triple3 ((triple3) -> rule2)) -> rule5)) -> rule6)) -> rule7))] The rabbit is nice.[(triple10)] The rabbit is rough.[(triple11)] The rabbit visits the lion.[(triple12 OR ((((triple10 ((triple10) -> rule2)) -> rule5)) -> rule1))] @1: The lion visits the lion.[(((triple6) -> rule1) OR ((((triple3 triple1) -> rule5)) -> rule1) OR ((((triple3 ((triple3) -> rule2)) -> rule5)) -> rule1))] The rabbit eats the rabbit.[(((triple10) -> rule2))] The rabbit sees the lion.[(((triple1) -> rule3) OR ((((triple10) -> rule2)) -> rule3) OR ((((triple3) -> rule2)) -> rule3))] @2: The rabbit is round.[(((triple10 ((triple10) -> rule2)) -> rule5))] @3: The rabbit visits the rabbit.[(((((triple10 ((triple10) -> rule2)) -> rule5)) -> rule6))]