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