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