The mouse is green. The mouse is kind. The mouse is young. If someone is blue and young then they are kind. Green, kind people are blue. All green people are nice. If the mouse is green and the mouse is young then the mouse is blue. If someone is green and nice then they are young. If the mouse is kind and the mouse is green then the mouse is blue. All young people are green. If the mouse is young and the mouse is blue then the mouse is kind.
The mouse does not visit the mouse.
@0: The mouse is green.[(triple1 OR ((triple3) -> rule7))] The mouse is kind.[(triple2 OR ((triple3 ((triple1 triple3) -> rule4)) -> rule8) OR ((((triple1 triple3) -> rule4) triple3) -> rule1) OR ((triple3 ((((triple3) -> rule7) triple3) -> rule4)) -> rule8) OR ((((((triple3) -> rule7) triple3) -> rule4) triple3) -> rule1) OR ((((triple1 triple3) -> rule4) ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule1) OR ((((triple1 ((triple1) -> rule3)) -> rule5) ((triple1 triple3) -> rule4)) -> rule8) OR ((((triple1 ((triple1) -> rule3)) -> rule5) ((((triple3) -> rule7) triple3) -> rule4)) -> rule8) OR ((((((triple3) -> rule7) triple3) -> rule4) ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule1) OR ((triple3 ((triple1 ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule4)) -> rule8) OR ((((triple1 ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule4) triple3) -> rule1) OR ((triple3 ((((triple3) -> rule7) ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule4)) -> rule8) OR ((((((triple3) -> rule7) ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule4) triple3) -> rule1) OR ((((triple1 ((triple1) -> rule3)) -> rule5) ((triple1 ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule4)) -> rule8) OR ((((triple1 ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule4) ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule1) OR ((((triple1 ((triple1) -> rule3)) -> rule5) ((((triple3) -> rule7) ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule4)) -> rule8) OR ((((((triple3) -> rule7) ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule4) ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule1))] The mouse is young.[(triple3 OR ((triple1 ((triple1) -> rule3)) -> rule5))] @1: The mouse is blue.[(((triple1 triple2) -> rule2) OR ((triple1 triple3) -> rule4) OR ((triple2 triple1) -> rule6) OR ((triple2 ((triple3) -> rule7)) -> rule6) OR ((((triple3) -> rule7) triple2) -> rule2) OR ((((triple3) -> rule7) triple3) -> rule4) OR ((triple1 ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule4) OR ((((triple3) -> rule7) ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule4))] The mouse is nice.[(((triple1) -> rule3) OR ((((triple3) -> rule7)) -> rule3))]