Anne is kind. Anne is quiet. Anne is round. Charlie is kind. Dave is blue. Dave is nice. Dave is young. Gary is big. Gary is blue. Gary is nice. Gary is round. Gary is young. If someone is young and blue then they are quiet. If someone is young then they are big. Big, round people are quiet. If someone is young and quiet then they are round. Nice people are young. If someone is kind and young then they are blue. Blue people are nice. Blue people are young.
Gary is nice.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3)] Charlie is kind.[(triple4)] Dave is blue.[(triple5)] Dave is nice.[(triple6 OR ((triple5) -> rule7))] Dave is young.[(triple7 OR ((triple5) -> rule8) OR ((triple6) -> rule5) OR ((((triple5) -> rule7)) -> rule5))] Gary is big.[(triple8 OR ((triple12) -> rule2) OR ((((triple10) -> rule5)) -> rule2) OR ((((triple9) -> rule8)) -> rule2) OR ((((((triple9) -> rule7)) -> rule5)) -> rule2))] Gary is blue.[(triple9)] Gary is nice.[(triple10 OR ((triple9) -> rule7))] Gary is round.[(triple11 OR ((triple12 ((triple12 triple9) -> rule1)) -> rule4) OR ((((triple10) -> rule5) ((triple12 triple9) -> rule1)) -> rule4) OR ((((triple9) -> rule8) ((triple12 triple9) -> rule1)) -> rule4) OR ((triple12 ((((triple10) -> rule5) triple9) -> rule1)) -> rule4) OR ((triple12 ((((triple9) -> rule8) triple9) -> rule1)) -> rule4) OR ((((triple10) -> rule5) ((((triple10) -> rule5) triple9) -> rule1)) -> rule4) OR ((((triple10) -> rule5) ((((triple9) -> rule8) triple9) -> rule1)) -> rule4) OR ((((triple9) -> rule8) ((((triple10) -> rule5) triple9) -> rule1)) -> rule4) OR ((((triple9) -> rule8) ((((triple9) -> rule8) triple9) -> rule1)) -> rule4) OR ((((((triple9) -> rule7)) -> rule5) ((triple12 triple9) -> rule1)) -> rule4) OR ((((((triple9) -> rule7)) -> rule5) ((((triple10) -> rule5) triple9) -> rule1)) -> rule4) OR ((((((triple9) -> rule7)) -> rule5) ((((triple9) -> rule8) triple9) -> rule1)) -> rule4) OR ((triple12 ((((((triple9) -> rule7)) -> rule5) triple9) -> rule1)) -> rule4) OR ((((triple10) -> rule5) ((((((triple9) -> rule7)) -> rule5) triple9) -> rule1)) -> rule4) OR ((((triple9) -> rule8) ((((((triple9) -> rule7)) -> rule5) triple9) -> rule1)) -> rule4) OR ((((((triple9) -> rule7)) -> rule5) ((((((triple9) -> rule7)) -> rule5) triple9) -> rule1)) -> rule4))] Gary is young.[(triple12 OR ((triple10) -> rule5) OR ((triple9) -> rule8) OR ((((triple9) -> rule7)) -> rule5))] @1: Dave is big.[(((triple7) -> rule2) OR ((((triple5) -> rule8)) -> rule2) OR ((((triple6) -> rule5)) -> rule2) OR ((((((triple5) -> rule7)) -> rule5)) -> rule2))] Dave is quiet.[(((triple7 triple5) -> rule1) OR ((((triple5) -> rule8) triple5) -> rule1) OR ((((triple6) -> rule5) triple5) -> rule1) OR ((((((triple5) -> rule7)) -> rule5) triple5) -> rule1))] Gary is quiet.[(((triple12 triple9) -> rule1) OR ((triple8 triple11) -> rule3) OR ((((triple10) -> rule5) triple9) -> rule1) OR ((((triple12) -> rule2) triple11) -> rule3) OR ((((triple9) -> rule8) triple9) -> rule1) OR ((((((triple10) -> rule5)) -> rule2) triple11) -> rule3) OR ((((((triple9) -> rule7)) -> rule5) triple9) -> rule1) OR ((((((triple9) -> rule8)) -> rule2) triple11) -> rule3) OR ((((((((triple9) -> rule7)) -> rule5)) -> rule2) triple11) -> rule3))] @2: Dave is round.[(((triple7 ((triple7 triple5) -> rule1)) -> rule4) OR ((((triple5) -> rule8) ((triple7 triple5) -> rule1)) -> rule4) OR ((((triple6) -> rule5) ((triple7 triple5) -> rule1)) -> rule4) OR ((triple7 ((((triple5) -> rule8) triple5) -> rule1)) -> rule4) OR ((triple7 ((((triple6) -> rule5) triple5) -> rule1)) -> rule4) OR ((((triple5) -> rule8) ((((triple5) -> rule8) triple5) -> rule1)) -> rule4) OR ((((triple5) -> rule8) ((((triple6) -> rule5) triple5) -> rule1)) -> rule4) OR ((((triple6) -> rule5) ((((triple5) -> rule8) triple5) -> rule1)) -> rule4) OR ((((triple6) -> rule5) ((((triple6) -> rule5) triple5) -> rule1)) -> rule4) OR ((((((triple5) -> rule7)) -> rule5) ((triple7 triple5) -> rule1)) -> rule4) OR ((((((triple5) -> rule7)) -> rule5) ((((triple5) -> rule8) triple5) -> rule1)) -> rule4) OR ((((((triple5) -> rule7)) -> rule5) ((((triple6) -> rule5) triple5) -> rule1)) -> rule4) OR ((triple7 ((((((triple5) -> rule7)) -> rule5) triple5) -> rule1)) -> rule4) OR ((((triple5) -> rule8) ((((((triple5) -> rule7)) -> rule5) triple5) -> rule1)) -> rule4) OR ((((triple6) -> rule5) ((((((triple5) -> rule7)) -> rule5) triple5) -> rule1)) -> rule4) OR ((((((triple5) -> rule7)) -> rule5) ((((((triple5) -> rule7)) -> rule5) triple5) -> rule1)) -> rule4))]