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