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