Anne is furry. Anne is quiet. Anne is round. Anne is smart. Anne is young. Charlie is kind. Charlie is quiet. Charlie is smart. Harry is big. Harry is furry. Harry is kind. Harry is quiet. Harry is round. Harry is smart. Harry is young. If Harry is big and Harry is quiet then Harry is furry. If Anne is smart and Anne is big then Anne is quiet. All big, young things are smart. Kind things are furry. Smart, round things are quiet. Young, smart things are round.
Charlie is kind.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2 OR ((triple4 triple3) -> rule5) OR ((triple4 ((triple5 triple4) -> rule6)) -> rule5))] Anne is round.[(triple3 OR ((triple5 triple4) -> rule6))] Anne is smart.[(triple4)] Anne is young.[(triple5)] Charlie is kind.[(triple6)] Charlie is quiet.[(triple7)] Charlie is smart.[(triple8)] Harry is big.[(triple9)] Harry is furry.[(triple10 OR ((triple11) -> rule4) OR ((triple9 triple12) -> rule1) OR ((triple9 ((triple14 triple13) -> rule5)) -> rule1) OR ((triple9 ((triple14 ((triple15 triple14) -> rule6)) -> rule5)) -> rule1) OR ((triple9 ((((triple9 triple15) -> rule3) triple13) -> rule5)) -> rule1) OR ((triple9 ((((triple9 triple15) -> rule3) ((triple15 triple14) -> rule6)) -> rule5)) -> rule1) OR ((triple9 ((triple14 ((triple15 ((triple9 triple15) -> rule3)) -> rule6)) -> rule5)) -> rule1) OR ((triple9 ((((triple9 triple15) -> rule3) ((triple15 ((triple9 triple15) -> rule3)) -> rule6)) -> rule5)) -> rule1))] Harry is kind.[(triple11)] Harry is quiet.[(triple12 OR ((triple14 triple13) -> rule5) OR ((triple14 ((triple15 triple14) -> rule6)) -> rule5) OR ((((triple9 triple15) -> rule3) triple13) -> rule5) OR ((((triple9 triple15) -> rule3) ((triple15 triple14) -> rule6)) -> rule5) OR ((triple14 ((triple15 ((triple9 triple15) -> rule3)) -> rule6)) -> rule5) OR ((((triple9 triple15) -> rule3) ((triple15 ((triple9 triple15) -> rule3)) -> rule6)) -> rule5))] Harry is round.[(triple13 OR ((triple15 triple14) -> rule6) OR ((triple15 ((triple9 triple15) -> rule3)) -> rule6))] Harry is smart.[(triple14 OR ((triple9 triple15) -> rule3))] Harry is young.[(triple15)] @1: Charlie is furry.[(((triple6) -> rule4))]