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