The rabbit is blue. The rabbit is cold. The rabbit is green. The rabbit is round. The rabbit is young. Blue people are round. If someone is round and blue then they are young. All round, cold people are blue. If someone is young and green then they are cold. Round, cold people are blue. Young people are cold.
The rabbit is cold.
@0: The rabbit is blue.[(triple1 OR ((triple4 triple2) -> rule3) OR ((triple4 triple2) -> rule5) OR ((triple4 ((triple5) -> rule6)) -> rule3) OR ((triple4 ((triple5) -> rule6)) -> rule5) OR ((triple4 ((triple5 triple3) -> rule4)) -> rule3) OR ((triple4 ((triple5 triple3) -> rule4)) -> rule5))] The rabbit is cold.[(triple2 OR ((triple5) -> rule6) OR ((triple5 triple3) -> rule4) OR ((((triple4 triple1) -> rule2)) -> rule6) OR ((((triple4 triple1) -> rule2) triple3) -> rule4) OR ((((((triple1) -> rule1) triple1) -> rule2)) -> rule6) OR ((((((triple1) -> rule1) triple1) -> rule2) triple3) -> rule4))] The rabbit is green.[(triple3)] The rabbit is round.[(triple4 OR ((triple1) -> rule1))] The rabbit is young.[(triple5 OR ((triple4 triple1) -> rule2) OR ((triple4 ((triple4 triple2) -> rule3)) -> rule2) OR ((triple4 ((triple4 triple2) -> rule5)) -> rule2) OR ((((triple1) -> rule1) triple1) -> rule2) OR ((((triple1) -> rule1) ((triple4 triple2) -> rule3)) -> rule2) OR ((((triple1) -> rule1) ((triple4 triple2) -> rule5)) -> rule2))]