The rabbit is big. The rabbit is green. The rabbit is rough. All rough, blue people are nice. All big, rough people are green. If the rabbit is big and the rabbit is green then the rabbit is blue. All nice, blue people are rough. If the rabbit is big and the rabbit is rough then the rabbit is blue. All big people are rough. Rough people are big. If someone is blue and green then they are rough.
The rabbit is nice.
@0: The rabbit is big.[(triple1 OR ((triple3) -> rule7))] The rabbit is green.[(triple2 OR ((triple1 triple3) -> rule2) OR ((triple1 ((triple1) -> rule6)) -> rule2) OR ((((triple3) -> rule7) triple3) -> rule2) OR ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2))] The rabbit is rough.[(triple3 OR ((triple1) -> rule6) OR ((((triple1 triple2) -> rule3) triple2) -> rule8))] @1: The rabbit is blue.[(((triple1 triple2) -> rule3) OR ((triple1 triple3) -> rule5) OR ((triple1 ((triple1) -> rule6)) -> rule5) OR ((triple1 ((triple1 triple3) -> rule2)) -> rule3) OR ((((triple3) -> rule7) triple2) -> rule3) OR ((((triple3) -> rule7) triple3) -> rule5) OR ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule5) OR ((((triple3) -> rule7) ((triple1 triple3) -> rule2)) -> rule3) OR ((triple1 ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3) OR ((triple1 ((((triple3) -> rule7) triple3) -> rule2)) -> rule3) OR ((triple1 ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3) OR ((((triple3) -> rule7) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3) OR ((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule2)) -> rule3) OR ((((triple3) -> rule7) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3))] @2: The rabbit is nice.[(((triple3 ((triple1 triple2) -> rule3)) -> rule1) OR ((triple3 ((triple1 triple3) -> rule5)) -> rule1) OR ((((triple1) -> rule6) ((triple1 triple2) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((triple1 triple3) -> rule5)) -> rule1) OR ((triple3 ((triple1 ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((triple3 ((triple1 ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((((triple3) -> rule7) triple2) -> rule3)) -> rule1) OR ((triple3 ((((triple3) -> rule7) triple3) -> rule5)) -> rule1) OR ((triple3 ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((triple3 ((((triple3) -> rule7) ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((((triple1) -> rule6) ((triple1 ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) triple2) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) triple3) -> rule5)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 triple2) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 triple3) -> rule5)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) triple2) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) triple3) -> rule5)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule5)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) ((triple1 triple3) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((triple1 ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((triple1 ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((triple1 ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((((triple3) -> rule7) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((triple1 ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((triple1 ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((triple3 ((((triple3) -> rule7) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((triple1 ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((((triple3) -> rule7) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((triple1 ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) ((triple1 ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) ((((triple3) -> rule7) triple3) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3) triple2) -> rule8) ((((triple3) -> rule7) ((((triple3) -> rule7) ((triple1) -> rule6)) -> rule2)) -> rule3)) -> rule1))]