The lion is cold. The lion is green. The lion is kind. The lion is nice. The lion is round. All green, round things are kind. If something is round then it is kind. If something is nice and cold then it is green. If something is nice then it is kind. If the lion is round and the lion is cold then the lion is nice. All green things are cold. If something is round and cold then it is kind. If something is cold and kind then it is green.
The lion sees the lion.
@0: The lion is cold.[(triple1 OR ((triple2) -> rule6))] The lion is green.[(triple2 OR ((triple1 triple3) -> rule8) OR ((triple4 triple1) -> rule3) OR ((triple1 ((triple4) -> rule4)) -> rule8) OR ((triple1 ((triple5) -> rule2)) -> rule8) OR ((triple1 ((triple5 triple1) -> rule7)) -> rule8) OR ((((triple5 triple1) -> rule5) triple1) -> rule3) OR ((triple1 ((((triple5 triple1) -> rule5)) -> rule4)) -> rule8))] The lion is kind.[(triple3 OR ((triple4) -> rule4) OR ((triple5) -> rule2) OR ((triple2 triple5) -> rule1) OR ((triple5 triple1) -> rule7) OR ((((triple5 triple1) -> rule5)) -> rule4) OR ((triple5 ((triple2) -> rule6)) -> rule7) OR ((((triple4 triple1) -> rule3) triple5) -> rule1) OR ((((triple5 ((triple2) -> rule6)) -> rule5)) -> rule4) OR ((((((triple5 triple1) -> rule5) triple1) -> rule3) triple5) -> rule1))] The lion is nice.[(triple4 OR ((triple5 triple1) -> rule5) OR ((triple5 ((triple2) -> rule6)) -> rule5))] The lion is round.[(triple5)]