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