The lion is big. The lion is cold. The lion is green. The lion is kind. The lion is rough. All rough, big things are kind. All kind things are green. If the lion is kind and the lion is green then the lion is big. If something is cold then it is green. All big things are rough. If the lion is green and the lion is cold then the lion is kind.
The lion does not visit the lion.
@0: The lion is big.[(triple1 OR ((triple4 triple3) -> rule3) OR ((triple4 ((triple2) -> rule4)) -> rule3) OR ((triple4 ((triple4) -> rule2)) -> rule3) OR ((((triple3 triple2) -> rule6) triple3) -> rule3) OR ((((triple3 triple2) -> rule6) ((triple2) -> rule4)) -> rule3) OR ((((triple3 triple2) -> rule6) ((triple4) -> rule2)) -> rule3) OR ((((((triple2) -> rule4) triple2) -> rule6) triple3) -> rule3) OR ((((((triple2) -> rule4) triple2) -> rule6) ((triple2) -> rule4)) -> rule3) OR ((((((triple2) -> rule4) triple2) -> rule6) ((triple4) -> rule2)) -> rule3))] The lion is cold.[(triple2)] The lion is green.[(triple3 OR ((triple2) -> rule4) OR ((triple4) -> rule2) OR ((((triple5 triple1) -> rule1)) -> rule2) OR ((((((triple1) -> rule5) triple1) -> rule1)) -> rule2))] The lion is kind.[(triple4 OR ((triple3 triple2) -> rule6) OR ((triple5 triple1) -> rule1) OR ((((triple1) -> rule5) triple1) -> rule1) OR ((((triple2) -> rule4) triple2) -> rule6))] The lion is rough.[(triple5 OR ((triple1) -> rule5) OR ((((triple4 triple3) -> rule3)) -> rule5) OR ((((triple4 ((triple2) -> rule4)) -> rule3)) -> rule5) OR ((((triple4 ((triple4) -> rule2)) -> rule3)) -> rule5) OR ((((((triple3 triple2) -> rule6) triple3) -> rule3)) -> rule5) OR ((((((triple3 triple2) -> rule6) ((triple2) -> rule4)) -> rule3)) -> rule5) OR ((((((triple3 triple2) -> rule6) ((triple4) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple2) -> rule4) triple2) -> rule6) triple3) -> rule3)) -> rule5) OR ((((((((triple2) -> rule4) triple2) -> rule6) ((triple2) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple2) -> rule4) triple2) -> rule6) ((triple4) -> rule2)) -> rule3)) -> rule5))]