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