The rabbit is cold. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit is young. If the rabbit is nice and the rabbit is young then the rabbit is red. If someone is young and green then they are nice. All young people are green. Cold people are young. All young people are cold. If the rabbit is cold then the rabbit is green.
The rabbit does not like the rabbit.
@0: The rabbit is cold.[(triple1 OR ((triple5) -> rule5))] The rabbit is green.[(triple2 OR ((triple1) -> rule6) OR ((triple5) -> rule3) OR ((((triple1) -> rule4)) -> rule3) OR ((((triple5) -> rule5)) -> rule6))] The rabbit is nice.[(triple3 OR ((triple5 triple2) -> rule2) OR ((triple5 ((triple1) -> rule6)) -> rule2) OR ((triple5 ((triple5) -> rule3)) -> rule2) OR ((((triple1) -> rule4) triple2) -> rule2) OR ((((triple1) -> rule4) ((triple1) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((triple5) -> rule3)) -> rule2) OR ((triple5 ((((triple1) -> rule4)) -> rule3)) -> rule2) OR ((triple5 ((((triple5) -> rule5)) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule3)) -> rule2) OR ((((triple1) -> rule4) ((((triple5) -> rule5)) -> rule6)) -> rule2))] The rabbit is red.[(triple4 OR ((triple3 triple5) -> rule1) OR ((triple3 ((triple1) -> rule4)) -> rule1) OR ((((triple5 triple2) -> rule2) triple5) -> rule1) OR ((((triple5 triple2) -> rule2) ((triple1) -> rule4)) -> rule1) OR ((((triple5 ((triple1) -> rule6)) -> rule2) triple5) -> rule1) OR ((((triple5 ((triple5) -> rule3)) -> rule2) triple5) -> rule1) OR ((((((triple1) -> rule4) triple2) -> rule2) triple5) -> rule1) OR ((((triple5 ((triple1) -> rule6)) -> rule2) ((triple1) -> rule4)) -> rule1) OR ((((triple5 ((triple5) -> rule3)) -> rule2) ((triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule4) triple2) -> rule2) ((triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule4) ((triple1) -> rule6)) -> rule2) triple5) -> rule1) OR ((((((triple1) -> rule4) ((triple5) -> rule3)) -> rule2) triple5) -> rule1) OR ((((((triple1) -> rule4) ((triple1) -> rule6)) -> rule2) ((triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule4) ((triple5) -> rule3)) -> rule2) ((triple1) -> rule4)) -> rule1) OR ((((triple5 ((((triple1) -> rule4)) -> rule3)) -> rule2) triple5) -> rule1) OR ((((triple5 ((((triple5) -> rule5)) -> rule6)) -> rule2) triple5) -> rule1) OR ((((triple5 ((((triple1) -> rule4)) -> rule3)) -> rule2) ((triple1) -> rule4)) -> rule1) OR ((((triple5 ((((triple5) -> rule5)) -> rule6)) -> rule2) ((triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule3)) -> rule2) triple5) -> rule1) OR ((((((triple1) -> rule4) ((((triple5) -> rule5)) -> rule6)) -> rule2) triple5) -> rule1) OR ((((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule3)) -> rule2) ((triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule4) ((((triple5) -> rule5)) -> rule6)) -> rule2) ((triple1) -> rule4)) -> rule1))] The rabbit is young.[(triple5 OR ((triple1) -> rule4))]