Anne is quiet. Bob is not rough. Gary is big. Gary is kind. Gary is rough. Gary is young. Harry is young. All big people are furry. Young people are furry. All quiet, kind people are furry. If Harry is furry and Harry is quiet then Harry is round. Rough, kind people are quiet. Young, rough people are kind. All quiet, furry people are round. Furry people are rough.
Gary is young.
@0: Anne is quiet.[(triple1)] Bob is not rough.[(triple2)] Gary is big.[(triple3)] Gary is kind.[(triple4 OR ((triple6 triple5) -> rule6) OR ((triple6 ((((triple3) -> rule1)) -> rule8)) -> rule6) OR ((triple6 ((((triple6) -> rule2)) -> rule8)) -> rule6))] Gary is rough.[(triple5 OR ((((triple3) -> rule1)) -> rule8) OR ((((triple6) -> rule2)) -> rule8))] Gary is young.[(triple6)] Harry is young.[(triple7)] @1: Gary is furry.[(((triple3) -> rule1) OR ((triple6) -> rule2) OR ((((triple5 triple4) -> rule5) triple4) -> rule3) OR ((((triple5 triple4) -> rule5) ((triple6 triple5) -> rule6)) -> rule3) OR ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) triple4) -> rule3) OR ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) ((triple6 triple5) -> rule6)) -> rule3))] Gary is quiet.[(((triple5 triple4) -> rule5) OR ((triple5 ((triple6 triple5) -> rule6)) -> rule5) OR ((((((triple3) -> rule1)) -> rule8) triple4) -> rule5) OR ((((((triple6) -> rule2)) -> rule8) triple4) -> rule5) OR ((((((triple3) -> rule1)) -> rule8) ((triple6 triple5) -> rule6)) -> rule5) OR ((((((triple6) -> rule2)) -> rule8) ((triple6 triple5) -> rule6)) -> rule5) OR ((triple5 ((triple6 ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule5) OR ((triple5 ((triple6 ((((triple6) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((((((triple3) -> rule1)) -> rule8) ((triple6 ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule5) OR ((((((triple3) -> rule1)) -> rule8) ((triple6 ((((triple6) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((((((triple6) -> rule2)) -> rule8) ((triple6 ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule5) OR ((((((triple6) -> rule2)) -> rule8) ((triple6 ((((triple6) -> rule2)) -> rule8)) -> rule6)) -> rule5))] Harry is furry.[(((triple7) -> rule2))] @2: Gary is round.[(((((triple5 triple4) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((triple5 triple4) -> rule5) ((triple6) -> rule2)) -> rule7) OR ((((triple5 triple4) -> rule5) ((((triple5 triple4) -> rule5) triple4) -> rule3)) -> rule7) OR ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) ((triple6) -> rule2)) -> rule7) OR ((((triple5 triple4) -> rule5) ((((triple5 triple4) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) ((((triple5 triple4) -> rule5) triple4) -> rule3)) -> rule7) OR ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) ((((triple5 triple4) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((triple5 triple4) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) triple4) -> rule3)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) triple4) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) triple4) -> rule5) ((triple6) -> rule2)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) triple4) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) triple4) -> rule5) ((triple6) -> rule2)) -> rule7) OR ((((triple5 triple4) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) triple4) -> rule3)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) triple4) -> rule5) ((((triple5 triple4) -> rule5) triple4) -> rule3)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) ((triple6 triple5) -> rule6)) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) ((triple6 triple5) -> rule6)) -> rule5) ((triple6) -> rule2)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) triple4) -> rule5) ((((triple5 triple4) -> rule5) triple4) -> rule3)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) ((triple6 triple5) -> rule6)) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) ((triple6 triple5) -> rule6)) -> rule5) ((triple6) -> rule2)) -> rule7) OR ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) triple4) -> rule5) ((((triple5 triple4) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) triple4) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) triple4) -> rule3)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) ((triple6 triple5) -> rule6)) -> rule5) ((((triple5 triple4) -> rule5) triple4) -> rule3)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) triple4) -> rule5) ((((triple5 triple4) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) triple4) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) triple4) -> rule3)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) ((triple6 triple5) -> rule6)) -> rule5) ((((triple5 triple4) -> rule5) triple4) -> rule3)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) triple4) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) ((triple6 triple5) -> rule6)) -> rule5) ((((triple5 triple4) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) ((triple6 triple5) -> rule6)) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) triple4) -> rule3)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) triple4) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) ((triple6 triple5) -> rule6)) -> rule5) ((((triple5 triple4) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) ((triple6 triple5) -> rule6)) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) triple4) -> rule3)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) ((triple6 triple5) -> rule6)) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) ((triple6 triple5) -> rule6)) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((triple5 ((triple6 ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((triple5 ((triple6 ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule5) ((triple6) -> rule2)) -> rule7) OR ((((triple5 ((triple6 ((((triple6) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((triple5 ((triple6 ((((triple6) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((triple6) -> rule2)) -> rule7) OR ((((triple5 ((triple6 ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule5) ((((triple5 triple4) -> rule5) triple4) -> rule3)) -> rule7) OR ((((triple5 ((triple6 ((((triple6) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((((triple5 triple4) -> rule5) triple4) -> rule3)) -> rule7) OR ((((triple5 ((triple6 ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule5) ((((triple5 triple4) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((triple5 ((triple6 ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) triple4) -> rule3)) -> rule7) OR ((((triple5 ((triple6 ((((triple6) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((((triple5 triple4) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((triple5 ((triple6 ((((triple6) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) triple4) -> rule3)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) ((triple6 ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) ((triple6 ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule5) ((triple6) -> rule2)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) ((triple6 ((((triple6) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) ((triple6 ((((triple6) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((triple6) -> rule2)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) ((triple6 ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) ((triple6 ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule5) ((triple6) -> rule2)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) ((triple6 ((((triple6) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((triple3) -> rule1)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) ((triple6 ((((triple6) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((triple6) -> rule2)) -> rule7) OR ((((triple5 ((triple6 ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((triple5 ((triple6 ((((triple6) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) ((triple6 ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule5) ((((triple5 triple4) -> rule5) triple4) -> rule3)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) ((triple6 ((((triple6) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((((triple5 triple4) -> rule5) triple4) -> rule3)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) ((triple6 ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule5) ((((triple5 triple4) -> rule5) triple4) -> rule3)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) ((triple6 ((((triple6) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((((triple5 triple4) -> rule5) triple4) -> rule3)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) ((triple6 ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule5) ((((triple5 triple4) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) ((triple6 ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) triple4) -> rule3)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) ((triple6 ((((triple6) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((((triple5 triple4) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) ((triple6 ((((triple6) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) triple4) -> rule3)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) ((triple6 ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule5) ((((triple5 triple4) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) ((triple6 ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) triple4) -> rule3)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) ((triple6 ((((triple6) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((((triple5 triple4) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) ((triple6 ((((triple6) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) triple4) -> rule3)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) ((triple6 ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule8) ((triple6 ((((triple6) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) ((triple6 ((((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule8) ((triple6 ((((triple6) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((((triple5 ((triple6 triple5) -> rule6)) -> rule5) ((triple6 triple5) -> rule6)) -> rule3)) -> rule7))] Harry is rough.[(((((triple7) -> rule2)) -> rule8))] @3: Harry is kind.[(((triple7 ((((triple7) -> rule2)) -> rule8)) -> rule6))] @4: Harry is quiet.[(((((((triple7) -> rule2)) -> rule8) ((triple7 ((((triple7) -> rule2)) -> rule8)) -> rule6)) -> rule5))] @5: Harry is round.[(((((triple7) -> rule2) ((((((triple7) -> rule2)) -> rule8) ((triple7 ((((triple7) -> rule2)) -> rule8)) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple7) -> rule2)) -> rule8) ((triple7 ((((triple7) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((triple7) -> rule2)) -> rule7))]