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