The rabbit is big. The rabbit is blue. The rabbit is nice. The rabbit is rough. The rabbit is young. If someone is blue and rough then they are young. If the rabbit is rough and the rabbit is blue then the rabbit is young. Young people are rough. All blue, nice people are big. Nice, blue people are young. Nice people are rough. All big, young people are nice. Big people are rough.
The rabbit is not young.
@0: The rabbit is big.[(triple1 OR ((triple2 triple3) -> rule4))] The rabbit is blue.[(triple2)] The rabbit is nice.[(triple3 OR ((triple1 triple5) -> rule7) OR ((triple1 ((triple2 triple4) -> rule1)) -> rule7) OR ((triple1 ((triple4 triple2) -> rule2)) -> rule7) OR ((triple1 ((triple2 ((triple1) -> rule8)) -> rule1)) -> rule7) OR ((triple1 ((((triple1) -> rule8) triple2) -> rule2)) -> rule7))] The rabbit is rough.[(triple4 OR ((triple1) -> rule8) OR ((triple3) -> rule6) OR ((triple5) -> rule3) OR ((((triple1 triple5) -> rule7)) -> rule6) OR ((((triple2 triple3) -> rule4)) -> rule8) OR ((((triple3 triple2) -> rule5)) -> rule3))] The rabbit is young.[(triple5 OR ((triple2 triple4) -> rule1) OR ((triple3 triple2) -> rule5) OR ((triple4 triple2) -> rule2) OR ((triple2 ((triple1) -> rule8)) -> rule1) OR ((triple2 ((triple3) -> rule6)) -> rule1) OR ((((triple1) -> rule8) triple2) -> rule2) OR ((((triple3) -> rule6) triple2) -> rule2) OR ((triple2 ((((triple2 triple3) -> rule4)) -> rule8)) -> rule1) OR ((((((triple2 triple3) -> rule4)) -> rule8) triple2) -> rule2))]