The mouse is cold. The mouse is green. The mouse is rough. The mouse is round. The mouse is young. If something is rough then it is cold. If something is young and cold then it is round. If the mouse is cold and the mouse is round then the mouse is young. Cold things are young. If the mouse is cold then the mouse is young. Green things are rough. If the mouse is cold and the mouse is green then the mouse is round. Round, young things are rough.
The mouse is cold.
@0: The mouse is cold.[(triple1 OR ((triple3) -> rule1) OR ((((triple2) -> rule6)) -> rule1) OR ((((triple4 triple5) -> rule8)) -> rule1))] The mouse is green.[(triple2)] The mouse is rough.[(triple3 OR ((triple2) -> rule6) OR ((triple4 triple5) -> rule8) OR ((triple4 ((triple1) -> rule4)) -> rule8) OR ((triple4 ((triple1) -> rule5)) -> rule8) OR ((triple4 ((triple1 triple4) -> rule3)) -> rule8) OR ((((triple1 triple2) -> rule7) triple5) -> rule8) OR ((((triple5 triple1) -> rule2) triple5) -> rule8) OR ((((triple1 triple2) -> rule7) ((triple1) -> rule4)) -> rule8) OR ((((triple1 triple2) -> rule7) ((triple1) -> rule5)) -> rule8) OR ((((triple1 triple2) -> rule7) ((triple1 triple4) -> rule3)) -> rule8) OR ((((triple5 triple1) -> rule2) ((triple1) -> rule4)) -> rule8) OR ((((triple5 triple1) -> rule2) ((triple1) -> rule5)) -> rule8) OR ((((triple5 triple1) -> rule2) ((triple1 triple4) -> rule3)) -> rule8) OR ((triple4 ((triple1 ((triple1 triple2) -> rule7)) -> rule3)) -> rule8) OR ((((((triple1) -> rule4) triple1) -> rule2) triple5) -> rule8) OR ((((((triple1) -> rule5) triple1) -> rule2) triple5) -> rule8) OR ((((triple1 triple2) -> rule7) ((triple1 ((triple1 triple2) -> rule7)) -> rule3)) -> rule8) OR ((((triple5 triple1) -> rule2) ((triple1 ((triple1 triple2) -> rule7)) -> rule3)) -> rule8) OR ((((((triple1) -> rule4) triple1) -> rule2) ((triple1) -> rule4)) -> rule8) OR ((((((triple1) -> rule4) triple1) -> rule2) ((triple1) -> rule5)) -> rule8) OR ((((((triple1) -> rule4) triple1) -> rule2) ((triple1 triple4) -> rule3)) -> rule8) OR ((((((triple1) -> rule5) triple1) -> rule2) ((triple1) -> rule4)) -> rule8) OR ((((((triple1) -> rule5) triple1) -> rule2) ((triple1) -> rule5)) -> rule8) OR ((((((triple1) -> rule5) triple1) -> rule2) ((triple1 triple4) -> rule3)) -> rule8) OR ((((((triple1) -> rule4) triple1) -> rule2) ((triple1 ((triple1 triple2) -> rule7)) -> rule3)) -> rule8) OR ((((((triple1) -> rule5) triple1) -> rule2) ((triple1 ((triple1 triple2) -> rule7)) -> rule3)) -> rule8))] The mouse is round.[(triple4 OR ((triple1 triple2) -> rule7) OR ((triple5 triple1) -> rule2) OR ((triple5 ((triple3) -> rule1)) -> rule2) OR ((((triple1) -> rule4) triple1) -> rule2) OR ((((triple1) -> rule5) triple1) -> rule2) OR ((((triple3) -> rule1) triple2) -> rule7) OR ((((triple1) -> rule4) ((triple3) -> rule1)) -> rule2) OR ((((triple1) -> rule5) ((triple3) -> rule1)) -> rule2) OR ((triple5 ((((triple2) -> rule6)) -> rule1)) -> rule2) OR ((((((triple2) -> rule6)) -> rule1) triple2) -> rule7) OR ((((((triple3) -> rule1)) -> rule4) triple1) -> rule2) OR ((((((triple3) -> rule1)) -> rule5) triple1) -> rule2) OR ((((triple1) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule2) OR ((((triple1) -> rule5) ((((triple2) -> rule6)) -> rule1)) -> rule2) OR ((((((triple3) -> rule1)) -> rule4) ((triple3) -> rule1)) -> rule2) OR ((((((triple3) -> rule1)) -> rule5) ((triple3) -> rule1)) -> rule2) OR ((((((triple3) -> rule1)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule2) OR ((((((triple3) -> rule1)) -> rule5) ((((triple2) -> rule6)) -> rule1)) -> rule2) OR ((((((((triple2) -> rule6)) -> rule1)) -> rule4) triple1) -> rule2) OR ((((((((triple2) -> rule6)) -> rule1)) -> rule5) triple1) -> rule2) OR ((((((((triple2) -> rule6)) -> rule1)) -> rule4) ((triple3) -> rule1)) -> rule2) OR ((((((((triple2) -> rule6)) -> rule1)) -> rule5) ((triple3) -> rule1)) -> rule2) OR ((((((((triple2) -> rule6)) -> rule1)) -> rule4) ((((triple2) -> rule6)) -> rule1)) -> rule2) OR ((((((((triple2) -> rule6)) -> rule1)) -> rule5) ((((triple2) -> rule6)) -> rule1)) -> rule2))] The mouse is young.[(triple5 OR ((triple1) -> rule4) OR ((triple1) -> rule5) OR ((triple1 triple4) -> rule3) OR ((((triple3) -> rule1)) -> rule4) OR ((((triple3) -> rule1)) -> rule5) OR ((triple1 ((triple1 triple2) -> rule7)) -> rule3) OR ((((triple3) -> rule1) triple4) -> rule3) OR ((((triple3) -> rule1) ((triple1 triple2) -> rule7)) -> rule3) OR ((((((triple2) -> rule6)) -> rule1)) -> rule4) OR ((((((triple2) -> rule6)) -> rule1)) -> rule5) OR ((triple1 ((((triple3) -> rule1) triple2) -> rule7)) -> rule3) OR ((((((triple2) -> rule6)) -> rule1) triple4) -> rule3) OR ((((triple3) -> rule1) ((((triple3) -> rule1) triple2) -> rule7)) -> rule3) OR ((((((triple2) -> rule6)) -> rule1) ((triple1 triple2) -> rule7)) -> rule3) OR ((((((triple2) -> rule6)) -> rule1) ((((triple3) -> rule1) triple2) -> rule7)) -> rule3) OR ((triple1 ((((((triple2) -> rule6)) -> rule1) triple2) -> rule7)) -> rule3) OR ((((triple3) -> rule1) ((((((triple2) -> rule6)) -> rule1) triple2) -> rule7)) -> rule3) OR ((((((triple2) -> rule6)) -> rule1) ((((((triple2) -> rule6)) -> rule1) triple2) -> rule7)) -> rule3))]