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