Bob is red. Charlie is red. Charlie is round. Charlie is young. Gary is red. Harry is round. Harry is smart. Round people are quiet. If someone is round and quiet then they are furry. Young people are round. Furry, round people are smart. Smart people are red. Young, quiet people are kind. If someone is smart then they are young. If someone is quiet and smart then they are kind.
Gary is furry.
@0: Bob is red.[(triple1)] Charlie is red.[(triple2 OR ((((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule5) OR ((((((triple3 ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule5) OR ((((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule5) OR ((((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4)) -> rule5) OR ((((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4)) -> rule5) OR ((((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule5))] Charlie is round.[(triple3 OR ((triple4) -> rule3))] Charlie is young.[(triple4 OR ((((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule7))] Gary is red.[(triple5)] Harry is round.[(triple6 OR ((((triple7) -> rule7)) -> rule3))] Harry is smart.[(triple7 OR ((((triple6 ((triple6) -> rule1)) -> rule2) triple6) -> rule4))] @1: Charlie is quiet.[(((triple3) -> rule1) OR ((((triple4) -> rule3)) -> rule1))] Harry is quiet.[(((triple6) -> rule1) OR ((((((triple7) -> rule7)) -> rule3)) -> rule1))] Harry is red.[(((triple7) -> rule5) OR ((((((triple6 ((triple6) -> rule1)) -> rule2) triple6) -> rule4)) -> rule5))] Harry is young.[(((triple7) -> rule7) OR ((((((triple6 ((triple6) -> rule1)) -> rule2) triple6) -> rule4)) -> rule7))] @2: Charlie is furry.[(((triple3 ((triple3) -> rule1)) -> rule2) OR ((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) OR ((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) OR ((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2))] Charlie is kind.[(((triple4 ((triple3) -> rule1)) -> rule6) OR ((triple4 ((((triple4) -> rule3)) -> rule1)) -> rule6) OR ((((triple3) -> rule1) ((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((triple3) -> rule1) ((((triple3 ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8) OR ((((triple3) -> rule1) ((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((triple3) -> rule1) ((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((triple3 ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8) OR ((((triple3) -> rule1) ((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule7) ((triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule1) ((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8) OR ((((triple3) -> rule1) ((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule4)) -> rule7) ((((triple4) -> rule3)) -> rule1)) -> rule6) OR ((((triple3) -> rule1) ((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4)) -> rule8) OR ((((((triple4) -> rule3)) -> rule1) ((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4)) -> rule8))] Harry is furry.[(((triple6 ((triple6) -> rule1)) -> rule2) OR ((((((triple7) -> rule7)) -> rule3) ((triple6) -> rule1)) -> rule2) OR ((triple6 ((((((triple7) -> rule7)) -> rule3)) -> rule1)) -> rule2) OR ((((((triple7) -> rule7)) -> rule3) ((((((triple7) -> rule7)) -> rule3)) -> rule1)) -> rule2))] Harry is kind.[(((((triple6) -> rule1) triple7) -> rule8) OR ((((triple7) -> rule7) ((triple6) -> rule1)) -> rule6) OR ((((((((triple7) -> rule7)) -> rule3)) -> rule1) triple7) -> rule8) OR ((((triple6) -> rule1) ((((triple6 ((triple6) -> rule1)) -> rule2) triple6) -> rule4)) -> rule8) OR ((((triple7) -> rule7) ((((((triple7) -> rule7)) -> rule3)) -> rule1)) -> rule6) OR ((((((((triple7) -> rule7)) -> rule3)) -> rule1) ((((triple6 ((triple6) -> rule1)) -> rule2) triple6) -> rule4)) -> rule8) OR ((((((((triple6 ((triple6) -> rule1)) -> rule2) triple6) -> rule4)) -> rule7) ((triple6) -> rule1)) -> rule6) OR ((((((((triple6 ((triple6) -> rule1)) -> rule2) triple6) -> rule4)) -> rule7) ((((((triple7) -> rule7)) -> rule3)) -> rule1)) -> rule6))] @3: Charlie is smart.[(((((triple3 ((triple3) -> rule1)) -> rule2) triple3) -> rule4) OR ((((triple3 ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4) OR ((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) triple3) -> rule4) OR ((((((triple4) -> rule3) ((triple3) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4) OR ((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4) OR ((((triple3 ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4) OR ((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) triple3) -> rule4) OR ((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule1)) -> rule2) ((triple4) -> rule3)) -> rule4))]