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