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