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