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