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