The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit is red. The rabbit is young. If something is big then it is green. Young, green things are cold. If something is big and young then it is red. Cold, young things are big. Cold things are young. If the rabbit is big and the rabbit is green then the rabbit is young.
The rabbit is green.
@0: The rabbit is big.[(triple1 OR ((triple2 triple5) -> rule4) OR ((triple2 ((triple2) -> rule5)) -> rule4) OR ((((triple5 triple3) -> rule2) triple5) -> rule4) OR ((((triple5 triple3) -> rule2) ((triple2) -> rule5)) -> rule4))] The rabbit is cold.[(triple2 OR ((triple5 triple3) -> rule2) OR ((triple5 ((triple1) -> rule1)) -> rule2) OR ((((triple1 triple3) -> rule6) triple3) -> rule2) OR ((((triple1 triple3) -> rule6) ((triple1) -> rule1)) -> rule2) OR ((((triple1 ((triple1) -> rule1)) -> rule6) triple3) -> rule2) OR ((((triple1 ((triple1) -> rule1)) -> rule6) ((triple1) -> rule1)) -> rule2))] The rabbit is green.[(triple3 OR ((triple1) -> rule1) OR ((((triple2 triple5) -> rule4)) -> rule1) OR ((((triple2 ((triple2) -> rule5)) -> rule4)) -> rule1))] The rabbit is red.[(triple4 OR ((triple1 triple5) -> rule3) OR ((triple1 ((triple2) -> rule5)) -> rule3) OR ((triple1 ((triple1 triple3) -> rule6)) -> rule3) OR ((((triple2 triple5) -> rule4) triple5) -> rule3) OR ((((triple2 triple5) -> rule4) ((triple2) -> rule5)) -> rule3) OR ((((triple2 triple5) -> rule4) ((triple1 triple3) -> rule6)) -> rule3) OR ((triple1 ((triple1 ((triple1) -> rule1)) -> rule6)) -> rule3) OR ((((triple2 ((triple2) -> rule5)) -> rule4) triple5) -> rule3) OR ((((((triple5 triple3) -> rule2) triple5) -> rule4) triple5) -> rule3) OR ((((triple2 triple5) -> rule4) ((triple1 ((triple1) -> rule1)) -> rule6)) -> rule3) OR ((((triple2 ((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3) OR ((((triple2 ((triple2) -> rule5)) -> rule4) ((triple1 triple3) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule2) triple5) -> rule4) ((triple2) -> rule5)) -> rule3) OR ((((((triple5 triple3) -> rule2) triple5) -> rule4) ((triple1 triple3) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule2) ((triple2) -> rule5)) -> rule4) triple5) -> rule3) OR ((((triple2 ((triple2) -> rule5)) -> rule4) ((triple1 ((triple1) -> rule1)) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule2) triple5) -> rule4) ((triple1 ((triple1) -> rule1)) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule2) ((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule3) OR ((((((triple5 triple3) -> rule2) ((triple2) -> rule5)) -> rule4) ((triple1 triple3) -> rule6)) -> rule3) OR ((((((triple5 triple3) -> rule2) ((triple2) -> rule5)) -> rule4) ((triple1 ((triple1) -> rule1)) -> rule6)) -> rule3))] The rabbit is young.[(triple5 OR ((triple2) -> rule5) OR ((triple1 triple3) -> rule6) OR ((triple1 ((triple1) -> rule1)) -> rule6))]