The mouse is blue. The mouse is kind. The mouse is nice. The mouse is red. The mouse is rough. If the mouse is blue then the mouse is rough. All red things are blue. All nice, kind things are rough. All rough, kind things are nice. Nice, rough things are blue. If something is blue then it is red.
The mouse is not red.
@0: The mouse is blue.[(triple1 OR ((triple4) -> rule2) OR ((triple3 triple5) -> rule5) OR ((triple3 ((triple3 triple2) -> rule3)) -> rule5) OR ((((triple5 triple2) -> rule4) triple5) -> rule5) OR ((((triple5 triple2) -> rule4) ((triple3 triple2) -> rule3)) -> rule5))] The mouse is kind.[(triple2)] The mouse is nice.[(triple3 OR ((triple5 triple2) -> rule4) OR ((((triple1) -> rule1) triple2) -> rule4) OR ((((((triple4) -> rule2)) -> rule1) triple2) -> rule4))] The mouse is red.[(triple4 OR ((triple1) -> rule6) OR ((((triple3 triple5) -> rule5)) -> rule6) OR ((((triple3 ((triple3 triple2) -> rule3)) -> rule5)) -> rule6) OR ((((((triple5 triple2) -> rule4) triple5) -> rule5)) -> rule6) OR ((((((triple5 triple2) -> rule4) ((triple3 triple2) -> rule3)) -> rule5)) -> rule6))] The mouse is rough.[(triple5 OR ((triple1) -> rule1) OR ((triple3 triple2) -> rule3) OR ((((triple4) -> rule2)) -> rule1))]