Bob is big. Bob is blue. Harry is young. Kind people are furry. Young, quiet people are kind. If someone is quiet then they are blue. Big, kind people are young. All young people are blue. All blue, young people are quiet. If Harry is young then Harry is kind. All big people are young.
Harry is young.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((((triple1) -> rule8)) -> rule5))] Harry is young.[(triple3)] @1: Bob is young.[(((triple1) -> rule8))] Harry is blue.[(((triple3) -> rule5))] Harry is kind.[(((triple3) -> rule7) OR ((triple3 ((((triple3) -> rule5) triple3) -> rule6)) -> rule2))] @2: Bob is quiet.[(((triple2 ((triple1) -> rule8)) -> rule6) OR ((((((triple1) -> rule8)) -> rule5) ((triple1) -> rule8)) -> rule6))] Harry is furry.[(((((triple3) -> rule7)) -> rule1) OR ((((triple3 ((((triple3) -> rule5) triple3) -> rule6)) -> rule2)) -> rule1))] Harry is quiet.[(((((triple3) -> rule5) triple3) -> rule6))] @3: Bob is kind.[(((((triple1) -> rule8) ((triple2 ((triple1) -> rule8)) -> rule6)) -> rule2) OR ((((triple1) -> rule8) ((((((triple1) -> rule8)) -> rule5) ((triple1) -> rule8)) -> rule6)) -> rule2))] @4: Bob is furry.[(((((((triple1) -> rule8) ((triple2 ((triple1) -> rule8)) -> rule6)) -> rule2)) -> rule1) OR ((((((triple1) -> rule8) ((((((triple1) -> rule8)) -> rule5) ((triple1) -> rule8)) -> rule6)) -> rule2)) -> rule1))]