Anne is green. Anne is kind. Anne is round. Anne is white. Dave is blue. Dave is white. Erin is blue. Erin is round. Harry is quiet. Harry is round. All kind, young things are quiet. Young, round things are kind. All white, young things are kind. If Erin is kind then Erin is quiet. White things are green. Green things are round. If something is round and green then it is young. If something is white and young then it is round.
Harry is not young.
@0: Anne is green.[(triple1 OR ((triple4) -> rule5))] Anne is kind.[(triple2 OR ((triple4 ((triple3 triple1) -> rule7)) -> rule3) OR ((((triple3 triple1) -> rule7) triple3) -> rule2) OR ((((triple3 triple1) -> rule7) ((triple1) -> rule6)) -> rule2) OR ((triple4 ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule3) OR ((triple4 ((((triple1) -> rule6) triple1) -> rule7)) -> rule3) OR ((((triple3 ((triple4) -> rule5)) -> rule7) triple3) -> rule2) OR ((((((triple1) -> rule6) triple1) -> rule7) triple3) -> rule2) OR ((triple4 ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule3) OR ((((triple3 triple1) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) OR ((((triple3 ((triple4) -> rule5)) -> rule7) ((triple1) -> rule6)) -> rule2) OR ((((((triple1) -> rule6) triple1) -> rule7) ((triple1) -> rule6)) -> rule2) OR ((((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7) triple3) -> rule2) OR ((((triple3 ((triple4) -> rule5)) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) OR ((((((triple1) -> rule6) triple1) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) OR ((((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7) ((triple1) -> rule6)) -> rule2) OR ((((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) OR ((triple4 ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule3) OR ((((((((triple4) -> rule5)) -> rule6) triple1) -> rule7) triple3) -> rule2) OR ((triple4 ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple4) -> rule5)) -> rule6) triple1) -> rule7) ((triple1) -> rule6)) -> rule2) OR ((((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7) triple3) -> rule2) OR ((((((((triple4) -> rule5)) -> rule6) triple1) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) OR ((((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7) ((triple1) -> rule6)) -> rule2) OR ((((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2))] Anne is round.[(triple3 OR ((triple1) -> rule6) OR ((((triple4) -> rule5)) -> rule6))] Anne is white.[(triple4)] Dave is blue.[(triple5)] Dave is white.[(triple6)] Erin is blue.[(triple7)] Erin is round.[(triple8)] Harry is quiet.[(triple9)] Harry is round.[(triple10)] @1: Anne is young.[(((triple3 triple1) -> rule7) OR ((triple3 ((triple4) -> rule5)) -> rule7) OR ((((triple1) -> rule6) triple1) -> rule7) OR ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7) OR ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7) OR ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7))] Dave is green.[(((triple6) -> rule5))] @2: Anne is quiet.[(((triple2 ((triple3 triple1) -> rule7)) -> rule1) OR ((triple2 ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((triple2 ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((triple2 ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((triple4 ((triple3 triple1) -> rule7)) -> rule3) ((triple3 triple1) -> rule7)) -> rule1) OR ((((((triple3 triple1) -> rule7) triple3) -> rule2) ((triple3 triple1) -> rule7)) -> rule1) OR ((((triple4 ((triple3 triple1) -> rule7)) -> rule3) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((triple4 ((triple3 triple1) -> rule7)) -> rule3) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((triple3 triple1) -> rule7) triple3) -> rule2) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 triple1) -> rule7) triple3) -> rule2) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((triple3 triple1) -> rule7) ((triple1) -> rule6)) -> rule2) ((triple3 triple1) -> rule7)) -> rule1) OR ((((triple4 ((triple3 triple1) -> rule7)) -> rule3) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 triple1) -> rule7) triple3) -> rule2) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 triple1) -> rule7) ((triple1) -> rule6)) -> rule2) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 triple1) -> rule7) ((triple1) -> rule6)) -> rule2) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((triple3 triple1) -> rule7) ((triple1) -> rule6)) -> rule2) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((triple2 ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((triple2 ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((triple4 ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule3) ((triple3 triple1) -> rule7)) -> rule1) OR ((((triple4 ((((triple1) -> rule6) triple1) -> rule7)) -> rule3) ((triple3 triple1) -> rule7)) -> rule1) OR ((((((triple3 ((triple4) -> rule5)) -> rule7) triple3) -> rule2) ((triple3 triple1) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) triple1) -> rule7) triple3) -> rule2) ((triple3 triple1) -> rule7)) -> rule1) OR ((((triple4 ((triple3 triple1) -> rule7)) -> rule3) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((triple4 ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule3) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((triple4 ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule3) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((triple4 ((((triple1) -> rule6) triple1) -> rule7)) -> rule3) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((triple4 ((((triple1) -> rule6) triple1) -> rule7)) -> rule3) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((triple4 ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule3) ((triple3 triple1) -> rule7)) -> rule1) OR ((((((triple3 triple1) -> rule7) triple3) -> rule2) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((triple3 triple1) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((triple3 triple1) -> rule7)) -> rule1) OR ((((((triple3 ((triple4) -> rule5)) -> rule7) triple3) -> rule2) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 ((triple4) -> rule5)) -> rule7) triple3) -> rule2) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((triple3 ((triple4) -> rule5)) -> rule7) ((triple1) -> rule6)) -> rule2) ((triple3 triple1) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) triple1) -> rule7) triple3) -> rule2) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) triple1) -> rule7) triple3) -> rule2) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) triple1) -> rule7) ((triple1) -> rule6)) -> rule2) ((triple3 triple1) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7) triple3) -> rule2) ((triple3 triple1) -> rule7)) -> rule1) OR ((((triple4 ((triple3 triple1) -> rule7)) -> rule3) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((triple4 ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule3) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((triple4 ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule3) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((triple4 ((((triple1) -> rule6) triple1) -> rule7)) -> rule3) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((triple4 ((((triple1) -> rule6) triple1) -> rule7)) -> rule3) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((triple4 ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule3) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((triple4 ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule3) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((triple3 triple1) -> rule7) triple3) -> rule2) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 triple1) -> rule7) ((triple1) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((triple3 triple1) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 triple1) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((triple3 ((triple4) -> rule5)) -> rule7) triple3) -> rule2) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 ((triple4) -> rule5)) -> rule7) triple3) -> rule2) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((triple3 ((triple4) -> rule5)) -> rule7) ((triple1) -> rule6)) -> rule2) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 ((triple4) -> rule5)) -> rule7) ((triple1) -> rule6)) -> rule2) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((triple3 ((triple4) -> rule5)) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((triple3 triple1) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) triple1) -> rule7) triple3) -> rule2) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) triple1) -> rule7) triple3) -> rule2) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) triple1) -> rule7) ((triple1) -> rule6)) -> rule2) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) triple1) -> rule7) ((triple1) -> rule6)) -> rule2) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) triple1) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((triple3 triple1) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7) triple3) -> rule2) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7) triple3) -> rule2) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7) ((triple1) -> rule6)) -> rule2) ((triple3 triple1) -> rule7)) -> rule1) OR ((((triple4 ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule3) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((triple4 ((((triple1) -> rule6) triple1) -> rule7)) -> rule3) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((triple4 ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule3) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((triple4 ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule3) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((triple3 triple1) -> rule7) ((triple1) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 triple1) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 triple1) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((triple3 ((triple4) -> rule5)) -> rule7) triple3) -> rule2) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 ((triple4) -> rule5)) -> rule7) ((triple1) -> rule6)) -> rule2) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 ((triple4) -> rule5)) -> rule7) ((triple1) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((triple3 ((triple4) -> rule5)) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 ((triple4) -> rule5)) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) triple1) -> rule7) triple3) -> rule2) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) triple1) -> rule7) ((triple1) -> rule6)) -> rule2) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) triple1) -> rule7) ((triple1) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) triple1) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) triple1) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7) triple3) -> rule2) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7) triple3) -> rule2) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7) ((triple1) -> rule6)) -> rule2) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7) ((triple1) -> rule6)) -> rule2) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((triple3 triple1) -> rule7)) -> rule1) OR ((((triple4 ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule3) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 triple1) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 ((triple4) -> rule5)) -> rule7) ((triple1) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 ((triple4) -> rule5)) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 ((triple4) -> rule5)) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) triple1) -> rule7) ((triple1) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) triple1) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) triple1) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7) triple3) -> rule2) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7) ((triple1) -> rule6)) -> rule2) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7) ((triple1) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((triple3 ((triple4) -> rule5)) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) triple1) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7) ((triple1) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((triple4 ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule3) ((triple3 triple1) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) triple1) -> rule7) triple3) -> rule2) ((triple3 triple1) -> rule7)) -> rule1) OR ((((triple4 ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule3) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((triple4 ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule3) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((triple4 ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule3) ((triple3 triple1) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) triple1) -> rule7) triple3) -> rule2) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) triple1) -> rule7) triple3) -> rule2) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) triple1) -> rule7) ((triple1) -> rule6)) -> rule2) ((triple3 triple1) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7) triple3) -> rule2) ((triple3 triple1) -> rule7)) -> rule1) OR ((((triple4 ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule3) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((triple4 ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule3) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((triple4 ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule3) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((triple4 ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule3) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) triple1) -> rule7) triple3) -> rule2) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) triple1) -> rule7) triple3) -> rule2) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) triple1) -> rule7) ((triple1) -> rule6)) -> rule2) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) triple1) -> rule7) ((triple1) -> rule6)) -> rule2) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) triple1) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((triple3 triple1) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7) triple3) -> rule2) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7) triple3) -> rule2) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7) ((triple1) -> rule6)) -> rule2) ((triple3 triple1) -> rule7)) -> rule1) OR ((((triple4 ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule3) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((triple4 ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule3) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((triple4 ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule3) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) triple1) -> rule7) triple3) -> rule2) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) triple1) -> rule7) ((triple1) -> rule6)) -> rule2) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) triple1) -> rule7) ((triple1) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) triple1) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) triple1) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7) triple3) -> rule2) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7) triple3) -> rule2) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7) ((triple1) -> rule6)) -> rule2) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7) ((triple1) -> rule6)) -> rule2) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((triple3 triple1) -> rule7)) -> rule1) OR ((((triple4 ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule3) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) triple1) -> rule7) ((triple1) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) triple1) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) triple1) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7) triple3) -> rule2) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7) ((triple1) -> rule6)) -> rule2) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7) ((triple1) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((triple3 ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((triple1) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) triple1) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7) ((triple1) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((triple1) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7) ((((triple4) -> rule5)) -> rule6)) -> rule2) ((((((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule7)) -> rule1))] Dave is round.[(((((triple6) -> rule5)) -> rule6))] @3: Dave is young.[(((((((triple6) -> rule5)) -> rule6) ((triple6) -> rule5)) -> rule7))] @4: Dave is kind.[(((triple6 ((((((triple6) -> rule5)) -> rule6) ((triple6) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple6) -> rule5)) -> rule6) ((triple6) -> rule5)) -> rule7) ((((triple6) -> rule5)) -> rule6)) -> rule2))] @5: Dave is quiet.[(((((triple6 ((((((triple6) -> rule5)) -> rule6) ((triple6) -> rule5)) -> rule7)) -> rule3) ((((((triple6) -> rule5)) -> rule6) ((triple6) -> rule5)) -> rule7)) -> rule1) OR ((((((((((triple6) -> rule5)) -> rule6) ((triple6) -> rule5)) -> rule7) ((((triple6) -> rule5)) -> rule6)) -> rule2) ((((((triple6) -> rule5)) -> rule6) ((triple6) -> rule5)) -> rule7)) -> rule1))]