The mouse is cold. The mouse is nice. The mouse is red. The mouse is rough. The mouse is young. Young, rough people are nice. All young, nice people are red. If the mouse is red and the mouse is nice then the mouse is rough. If the mouse is rough and the mouse is cold then the mouse is nice. All nice, red people are young. If the mouse is nice and the mouse is young then the mouse is red. If the mouse is red and the mouse is rough then the mouse is cold. Young, nice people are cold.
The mouse is not rough.
@0: The mouse is cold.[(triple1 OR ((triple3 triple4) -> rule7) OR ((triple5 triple2) -> rule8) OR ((triple3 ((triple3 triple2) -> rule3)) -> rule7) OR ((triple5 ((triple5 triple4) -> rule1)) -> rule8) OR ((((triple2 triple3) -> rule5) triple2) -> rule8) OR ((((triple2 triple5) -> rule6) triple4) -> rule7) OR ((((triple5 triple2) -> rule2) triple4) -> rule7) OR ((((triple2 triple3) -> rule5) ((triple5 triple4) -> rule1)) -> rule8) OR ((((triple2 triple5) -> rule6) ((triple3 triple2) -> rule3)) -> rule7) OR ((((triple5 triple2) -> rule2) ((triple3 triple2) -> rule3)) -> rule7) OR ((triple3 ((((triple2 triple5) -> rule6) triple2) -> rule3)) -> rule7) OR ((triple3 ((((triple5 triple2) -> rule2) triple2) -> rule3)) -> rule7) OR ((((triple5 ((triple5 triple4) -> rule1)) -> rule2) triple4) -> rule7) OR ((((((triple5 triple4) -> rule1) triple5) -> rule6) triple4) -> rule7) OR ((((triple2 triple5) -> rule6) ((((triple2 triple5) -> rule6) triple2) -> rule3)) -> rule7) OR ((((triple2 triple5) -> rule6) ((((triple5 triple2) -> rule2) triple2) -> rule3)) -> rule7) OR ((((triple5 triple2) -> rule2) ((((triple2 triple5) -> rule6) triple2) -> rule3)) -> rule7) OR ((((triple5 triple2) -> rule2) ((((triple5 triple2) -> rule2) triple2) -> rule3)) -> rule7) OR ((((triple5 ((triple5 triple4) -> rule1)) -> rule2) ((triple3 triple2) -> rule3)) -> rule7) OR ((((((triple5 triple4) -> rule1) triple5) -> rule6) ((triple3 triple2) -> rule3)) -> rule7) OR ((((triple5 ((triple5 triple4) -> rule1)) -> rule2) ((((triple2 triple5) -> rule6) triple2) -> rule3)) -> rule7) OR ((((triple5 ((triple5 triple4) -> rule1)) -> rule2) ((((triple5 triple2) -> rule2) triple2) -> rule3)) -> rule7) OR ((((((triple5 triple4) -> rule1) triple5) -> rule6) ((((triple2 triple5) -> rule6) triple2) -> rule3)) -> rule7) OR ((((((triple5 triple4) -> rule1) triple5) -> rule6) ((((triple5 triple2) -> rule2) triple2) -> rule3)) -> rule7))] The mouse is nice.[(triple2 OR ((triple4 triple1) -> rule4) OR ((triple5 triple4) -> rule1) OR ((triple4 ((triple3 triple4) -> rule7)) -> rule4))] The mouse is red.[(triple3 OR ((triple2 triple5) -> rule6) OR ((triple5 triple2) -> rule2) OR ((triple5 ((triple4 triple1) -> rule4)) -> rule2) OR ((triple5 ((triple5 triple4) -> rule1)) -> rule2) OR ((((triple4 triple1) -> rule4) triple5) -> rule6) OR ((((triple5 triple4) -> rule1) triple5) -> rule6))] The mouse is rough.[(triple4 OR ((triple3 triple2) -> rule3) OR ((((triple2 triple5) -> rule6) triple2) -> rule3) OR ((((triple5 triple2) -> rule2) triple2) -> rule3))] The mouse is young.[(triple5 OR ((triple2 triple3) -> rule5) OR ((((triple4 triple1) -> rule4) triple3) -> rule5) OR ((((triple4 ((triple3 triple4) -> rule7)) -> rule4) triple3) -> rule5))]