Anne is big. Anne is cold. Anne is furry. Anne is kind. Anne is smart. Anne is young. Charlie is big. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is young. Gary is cold. Gary is kind. Gary is nice. Gary is smart. Gary is young. Big, cold people are young. If Charlie is nice and Charlie is big then Charlie is furry. Kind people are smart. If someone is cold and nice then they are smart. Cold, big people are young. Kind, smart people are young. If someone is kind and furry then they are cold. All big people are nice.
Gary is not big.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple4 triple3) -> rule7))] Anne is furry.[(triple3)] Anne is kind.[(triple4)] Anne is smart.[(triple5 OR ((triple4) -> rule3) OR ((triple2 ((triple1) -> rule8)) -> rule4) OR ((((triple4 triple3) -> rule7) ((triple1) -> rule8)) -> rule4))] Anne is young.[(triple6 OR ((triple1 triple2) -> rule1) OR ((triple2 triple1) -> rule5) OR ((triple4 triple5) -> rule6) OR ((triple1 ((triple4 triple3) -> rule7)) -> rule1) OR ((triple4 ((triple4) -> rule3)) -> rule6) OR ((((triple4 triple3) -> rule7) triple1) -> rule5) OR ((triple4 ((triple2 ((triple1) -> rule8)) -> rule4)) -> rule6) OR ((triple4 ((((triple4 triple3) -> rule7) ((triple1) -> rule8)) -> rule4)) -> rule6))] Charlie is big.[(triple7)] Charlie is cold.[(triple8 OR ((triple9 ((triple10 triple7) -> rule2)) -> rule7) OR ((triple9 ((((triple7) -> rule8) triple7) -> rule2)) -> rule7))] Charlie is kind.[(triple9)] Charlie is nice.[(triple10 OR ((triple7) -> rule8))] Charlie is young.[(triple11 OR ((triple7 triple8) -> rule1) OR ((triple8 triple7) -> rule5) OR ((triple9 ((triple9) -> rule3)) -> rule6) OR ((triple9 ((triple8 triple10) -> rule4)) -> rule6) OR ((triple7 ((triple9 ((triple10 triple7) -> rule2)) -> rule7)) -> rule1) OR ((triple9 ((triple8 ((triple7) -> rule8)) -> rule4)) -> rule6) OR ((((triple9 ((triple10 triple7) -> rule2)) -> rule7) triple7) -> rule5) OR ((triple7 ((triple9 ((((triple7) -> rule8) triple7) -> rule2)) -> rule7)) -> rule1) OR ((triple9 ((((triple9 ((triple10 triple7) -> rule2)) -> rule7) triple10) -> rule4)) -> rule6) OR ((((triple9 ((((triple7) -> rule8) triple7) -> rule2)) -> rule7) triple7) -> rule5) OR ((triple9 ((((triple9 ((triple10 triple7) -> rule2)) -> rule7) ((triple7) -> rule8)) -> rule4)) -> rule6) OR ((triple9 ((((triple9 ((((triple7) -> rule8) triple7) -> rule2)) -> rule7) triple10) -> rule4)) -> rule6) OR ((triple9 ((((triple9 ((((triple7) -> rule8) triple7) -> rule2)) -> rule7) ((triple7) -> rule8)) -> rule4)) -> rule6))] Gary is cold.[(triple12)] Gary is kind.[(triple13)] Gary is nice.[(triple14)] Gary is smart.[(triple15 OR ((triple13) -> rule3) OR ((triple12 triple14) -> rule4))] Gary is young.[(triple16 OR ((triple13 triple15) -> rule6) OR ((triple13 ((triple13) -> rule3)) -> rule6) OR ((triple13 ((triple12 triple14) -> rule4)) -> rule6))] @1: Anne is nice.[(((triple1) -> rule8))] Charlie is furry.[(((triple10 triple7) -> rule2) OR ((((triple7) -> rule8) triple7) -> rule2))] Charlie is smart.[(((triple9) -> rule3) OR ((triple8 triple10) -> rule4) OR ((triple8 ((triple7) -> rule8)) -> rule4) OR ((((triple9 ((triple10 triple7) -> rule2)) -> rule7) triple10) -> rule4) OR ((((triple9 ((triple10 triple7) -> rule2)) -> rule7) ((triple7) -> rule8)) -> rule4) OR ((((triple9 ((((triple7) -> rule8) triple7) -> rule2)) -> rule7) triple10) -> rule4) OR ((((triple9 ((((triple7) -> rule8) triple7) -> rule2)) -> rule7) ((triple7) -> rule8)) -> rule4))]