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