The mouse is big. The mouse is green. The mouse is kind. The mouse is nice. The mouse is rough. All green, nice people are kind. Nice people are green. All green people are nice. If someone is nice then they are kind. Nice, rough people are big. Big people are green. If the mouse is big then the mouse is rough. Green people are nice.
The mouse is not kind.
@0: The mouse is big.[(triple1 OR ((triple4 triple5) -> rule5) OR ((((triple2) -> rule3) triple5) -> rule5) OR ((((triple2) -> rule8) triple5) -> rule5))] The mouse is green.[(triple2 OR ((triple1) -> rule6) OR ((triple4) -> rule2) OR ((((triple4 triple5) -> rule5)) -> rule6))] The mouse is kind.[(triple3 OR ((triple4) -> rule4) OR ((triple2 triple4) -> rule1) OR ((((triple2) -> rule3)) -> rule4) OR ((((triple2) -> rule8)) -> rule4) OR ((triple2 ((triple2) -> rule3)) -> rule1) OR ((triple2 ((triple2) -> rule8)) -> rule1) OR ((((triple1) -> rule6) triple4) -> rule1) OR ((((triple4) -> rule2) triple4) -> rule1) OR ((((triple1) -> rule6) ((triple2) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((triple2) -> rule8)) -> rule1) OR ((((triple4) -> rule2) ((triple2) -> rule3)) -> rule1) OR ((((triple4) -> rule2) ((triple2) -> rule8)) -> rule1) OR ((((((triple1) -> rule6)) -> rule3)) -> rule4) OR ((((((triple1) -> rule6)) -> rule8)) -> rule4) OR ((triple2 ((((triple1) -> rule6)) -> rule3)) -> rule1) OR ((triple2 ((((triple1) -> rule6)) -> rule8)) -> rule1) OR ((((((triple4 triple5) -> rule5)) -> rule6) triple4) -> rule1) OR ((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule3)) -> rule1) OR ((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule8)) -> rule1) OR ((((triple4) -> rule2) ((((triple1) -> rule6)) -> rule3)) -> rule1) OR ((((triple4) -> rule2) ((((triple1) -> rule6)) -> rule8)) -> rule1) OR ((((((triple4 triple5) -> rule5)) -> rule6) ((triple2) -> rule3)) -> rule1) OR ((((((triple4 triple5) -> rule5)) -> rule6) ((triple2) -> rule8)) -> rule1) OR ((((((triple4 triple5) -> rule5)) -> rule6) ((((triple1) -> rule6)) -> rule3)) -> rule1) OR ((((((triple4 triple5) -> rule5)) -> rule6) ((((triple1) -> rule6)) -> rule8)) -> rule1))] The mouse is nice.[(triple4 OR ((triple2) -> rule3) OR ((triple2) -> rule8) OR ((((triple1) -> rule6)) -> rule3) OR ((((triple1) -> rule6)) -> rule8))] The mouse is rough.[(triple5 OR ((triple1) -> rule7))]