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