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