Anne is big. Anne is green. Anne is nice. Anne is red. Anne is rough. Anne is white. Anne is young. All big, green things are young. Big things are nice. Nice, big things are green. Green, young things are nice. If something is young then it is green. Young things are big.
Anne is not rough.
@0: Anne is big.[(triple1 OR ((triple7) -> rule6))] Anne is green.[(triple2 OR ((triple7) -> rule5) OR ((triple3 triple1) -> rule3) OR ((triple3 ((triple7) -> rule6)) -> rule3) OR ((((triple1) -> rule2) triple1) -> rule3) OR ((((triple1) -> rule2) ((triple7) -> rule6)) -> rule3) OR ((((((triple7) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((triple7) -> rule6)) -> rule2) ((triple7) -> rule6)) -> rule3))] Anne is nice.[(triple3 OR ((triple1) -> rule2) OR ((triple2 triple7) -> rule4) OR ((((triple7) -> rule6)) -> rule2) OR ((triple2 ((triple1 triple2) -> rule1)) -> rule4) OR ((((triple7) -> rule5) triple7) -> rule4) OR ((((triple7) -> rule5) ((triple1 triple2) -> rule1)) -> rule4))] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple1 triple2) -> rule1) OR ((triple1 ((triple3 triple1) -> rule3)) -> rule1) OR ((triple1 ((((triple1) -> rule2) triple1) -> rule3)) -> rule1))]