Anne is big. Anne is furry. Anne is red. Anne is smart. Anne is young. Gary is red. Gary is smart. All big, furry people are young. Young, cold people are big. Red people are cold. All big, green people are young. Smart, furry people are big. Smart people are furry.
Anne is green.
@0: Anne is big.[(triple1 OR ((triple4 triple2) -> rule5) OR ((triple4 ((triple4) -> rule6)) -> rule5) OR ((triple5 ((triple3) -> rule3)) -> rule2))] Anne is furry.[(triple2 OR ((triple4) -> rule6))] Anne is red.[(triple3)] Anne is smart.[(triple4)] Anne is young.[(triple5 OR ((triple1 triple2) -> rule1) OR ((triple1 ((triple4) -> rule6)) -> rule1) OR ((((triple4 triple2) -> rule5) triple2) -> rule1) OR ((((triple4 triple2) -> rule5) ((triple4) -> rule6)) -> rule1) OR ((((triple4 ((triple4) -> rule6)) -> rule5) triple2) -> rule1) OR ((((triple4 ((triple4) -> rule6)) -> rule5) ((triple4) -> rule6)) -> rule1))] Gary is red.[(triple6)] Gary is smart.[(triple7)] @1: Anne is cold.[(((triple3) -> rule3))] Gary is cold.[(((triple6) -> rule3))] Gary is furry.[(((triple7) -> rule6))] @2: Gary is big.[(((triple7 ((triple7) -> rule6)) -> rule5))] @3: Gary is young.[(((((triple7 ((triple7) -> rule6)) -> rule5) ((triple7) -> rule6)) -> rule1))]