The lion is blue. The lion is round. The lion likes the rabbit. The lion sees the rabbit. The rabbit does not like the lion. The rabbit sees the lion. The rabbit visits the lion. If someone likes the rabbit and the rabbit visits the lion then they see the rabbit. If someone is blue then they see the rabbit. If someone is big then they like the lion. If someone sees the lion then the lion is big. If someone is kind then they are blue. If someone is round and they see the rabbit then they visit the lion. If someone visits the lion then they are kind. If someone sees the rabbit then the rabbit sees the lion.
The lion is cold.
@0: The lion is blue.[(triple1 OR ((((((triple2 triple4) -> rule6)) -> rule7)) -> rule5) OR ((((((triple2 ((triple3 triple7) -> rule1)) -> rule6)) -> rule7)) -> rule5))] The lion is round.[(triple2)] The lion likes the rabbit.[(triple3)] The lion sees the rabbit.[(triple4 OR ((triple1) -> rule2) OR ((triple3 triple7) -> rule1))] The rabbit does not like the lion.[(triple5)] The rabbit sees the lion.[(triple6 OR ((triple4) -> rule8) OR ((((triple1) -> rule2)) -> rule8) OR ((((triple3 triple7) -> rule1)) -> rule8) OR ((((((((triple7) -> rule7)) -> rule5)) -> rule2)) -> rule8))] The rabbit visits the lion.[(triple7)] @1: The lion is big.[(((triple6) -> rule4) OR ((((triple4) -> rule8)) -> rule4) OR ((((((triple1) -> rule2)) -> rule8)) -> rule4) OR ((((((triple3 triple7) -> rule1)) -> rule8)) -> rule4) OR ((((((((((triple7) -> rule7)) -> rule5)) -> rule2)) -> rule8)) -> rule4))] The lion visits the lion.[(((triple2 triple4) -> rule6) OR ((triple2 ((triple1) -> rule2)) -> rule6) OR ((triple2 ((triple3 triple7) -> rule1)) -> rule6))] The rabbit is kind.[(((triple7) -> rule7))] @2: The lion is kind.[(((((triple2 triple4) -> rule6)) -> rule7) OR ((((triple2 ((triple1) -> rule2)) -> rule6)) -> rule7) OR ((((triple2 ((triple3 triple7) -> rule1)) -> rule6)) -> rule7))] The lion likes the lion.[(((((triple6) -> rule4)) -> rule3) OR ((((((triple4) -> rule8)) -> rule4)) -> rule3) OR ((((((((triple1) -> rule2)) -> rule8)) -> rule4)) -> rule3) OR ((((((((triple3 triple7) -> rule1)) -> rule8)) -> rule4)) -> rule3) OR ((((((((((((triple7) -> rule7)) -> rule5)) -> rule2)) -> rule8)) -> rule4)) -> rule3))] The rabbit is blue.[(((((triple7) -> rule7)) -> rule5))] @3: The rabbit sees the rabbit.[(((((((triple7) -> rule7)) -> rule5)) -> rule2))]