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