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