The mouse is blue. The mouse is cold. The mouse is green. The mouse is kind. The mouse is rough. All green things are blue. All rough, cold things are kind. If something is kind then it is rough. If something is blue and rough then it is kind. If something is green then it is kind. Cold things are blue. If something is rough and kind then it is blue. If something is cold and rough then it is green.
The mouse is not cold.
@0: The mouse is blue.[(triple1 OR ((triple2) -> rule6) OR ((triple3) -> rule1) OR ((triple5 triple4) -> rule7) OR ((((triple2 triple5) -> rule8)) -> rule1) OR ((triple5 ((triple3) -> rule5)) -> rule7) OR ((triple5 ((triple5 triple2) -> rule2)) -> rule7) OR ((((triple4) -> rule3) triple4) -> rule7) OR ((((triple4) -> rule3) ((triple3) -> rule5)) -> rule7) OR ((((triple4) -> rule3) ((triple5 triple2) -> rule2)) -> rule7) OR ((((triple2 ((triple4) -> rule3)) -> rule8)) -> rule1) OR ((triple5 ((((triple2 triple5) -> rule8)) -> rule5)) -> rule7) OR ((((((triple3) -> rule5)) -> rule3) triple4) -> rule7) OR ((((triple4) -> rule3) ((((triple2 triple5) -> rule8)) -> rule5)) -> rule7) OR ((((((triple3) -> rule5)) -> rule3) ((triple3) -> rule5)) -> rule7) OR ((((((triple3) -> rule5)) -> rule3) ((triple5 triple2) -> rule2)) -> rule7) OR ((((((triple3) -> rule5)) -> rule3) ((((triple2 triple5) -> rule8)) -> rule5)) -> rule7))] The mouse is cold.[(triple2)] The mouse is green.[(triple3 OR ((triple2 triple5) -> rule8) OR ((triple2 ((triple4) -> rule3)) -> rule8))] The mouse is kind.[(triple4 OR ((triple3) -> rule5) OR ((triple1 triple5) -> rule4) OR ((triple5 triple2) -> rule2) OR ((((triple2 triple5) -> rule8)) -> rule5) OR ((((triple2) -> rule6) triple5) -> rule4) OR ((((triple3) -> rule1) triple5) -> rule4) OR ((((((triple2 triple5) -> rule8)) -> rule1) triple5) -> rule4))] The mouse is rough.[(triple5 OR ((triple4) -> rule3) OR ((((triple3) -> rule5)) -> rule3))]