Anne is furry. Anne is quiet. Anne is round. Anne is smart. Bob is big. Bob is furry. Bob is kind. Bob is quiet. Bob is rough. Bob is round. Bob is smart. Charlie is big. Charlie is kind. Charlie is quiet. Harry is furry. Harry is round. Furry things are rough. All round, kind things are quiet. All kind, quiet things are furry.
Harry is big.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Bob is big.[(triple5)] Bob is furry.[(triple6 OR ((triple7 triple8) -> rule3) OR ((triple7 ((triple10 triple7) -> rule2)) -> rule3))] Bob is kind.[(triple7)] Bob is quiet.[(triple8 OR ((triple10 triple7) -> rule2))] Bob is rough.[(triple9 OR ((triple6) -> rule1) OR ((((triple7 triple8) -> rule3)) -> rule1) OR ((((triple7 ((triple10 triple7) -> rule2)) -> rule3)) -> rule1))] Bob is round.[(triple10)] Bob is smart.[(triple11)] Charlie is big.[(triple12)] Charlie is kind.[(triple13)] Charlie is quiet.[(triple14)] Harry is furry.[(triple15)] Harry is round.[(triple16)] @1: Anne is rough.[(((triple1) -> rule1))] Charlie is furry.[(((triple13 triple14) -> rule3))] Harry is rough.[(((triple15) -> rule1))] @2: Charlie is rough.[(((((triple13 triple14) -> rule3)) -> rule1))]