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