The rabbit is big. The rabbit is blue. The rabbit is green. The rabbit is rough. The rabbit is round. All round, blue people are big. If someone is big and blue then they are rough. Blue, green people are rough. If the rabbit is blue and the rabbit is round then the rabbit is big. Round, green people are blue. If someone is big and blue then they are round. If the rabbit is rough and the rabbit is green then the rabbit is big. All big, blue people are rough.
The rabbit does not like the rabbit.
@0: The rabbit is big.[(triple1 OR ((triple2 triple5) -> rule4) OR ((triple4 triple3) -> rule7) OR ((triple5 triple2) -> rule1) OR ((triple5 ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple2 triple3) -> rule3) triple3) -> rule7) OR ((((triple5 triple3) -> rule5) triple5) -> rule4) OR ((((((triple5 triple3) -> rule5) triple3) -> rule3) triple3) -> rule7))] The rabbit is blue.[(triple2 OR ((triple5 triple3) -> rule5))] The rabbit is green.[(triple3)] The rabbit is rough.[(triple4 OR ((triple1 triple2) -> rule2) OR ((triple1 triple2) -> rule8) OR ((triple2 triple3) -> rule3) OR ((triple1 ((triple5 triple3) -> rule5)) -> rule2) OR ((triple1 ((triple5 triple3) -> rule5)) -> rule8) OR ((((triple2 triple5) -> rule4) triple2) -> rule2) OR ((((triple2 triple5) -> rule4) triple2) -> rule8) OR ((((triple5 triple2) -> rule1) triple2) -> rule2) OR ((((triple5 triple2) -> rule1) triple2) -> rule8) OR ((((triple5 triple3) -> rule5) triple3) -> rule3) OR ((((triple2 triple5) -> rule4) ((triple5 triple3) -> rule5)) -> rule2) OR ((((triple2 triple5) -> rule4) ((triple5 triple3) -> rule5)) -> rule8) OR ((((triple5 triple2) -> rule1) ((triple5 triple3) -> rule5)) -> rule2) OR ((((triple5 triple2) -> rule1) ((triple5 triple3) -> rule5)) -> rule8) OR ((((triple5 ((triple5 triple3) -> rule5)) -> rule1) triple2) -> rule2) OR ((((triple5 ((triple5 triple3) -> rule5)) -> rule1) triple2) -> rule8) OR ((((((triple5 triple3) -> rule5) triple5) -> rule4) triple2) -> rule2) OR ((((((triple5 triple3) -> rule5) triple5) -> rule4) triple2) -> rule8) OR ((((triple5 ((triple5 triple3) -> rule5)) -> rule1) ((triple5 triple3) -> rule5)) -> rule2) OR ((((triple5 ((triple5 triple3) -> rule5)) -> rule1) ((triple5 triple3) -> rule5)) -> rule8) OR ((((((triple5 triple3) -> rule5) triple5) -> rule4) ((triple5 triple3) -> rule5)) -> rule2) OR ((((((triple5 triple3) -> rule5) triple5) -> rule4) ((triple5 triple3) -> rule5)) -> rule8))] The rabbit is round.[(triple5 OR ((triple1 triple2) -> rule6) OR ((((triple4 triple3) -> rule7) triple2) -> rule6) OR ((((((triple2 triple3) -> rule3) triple3) -> rule7) triple2) -> rule6))]