Anne is big. Anne is cold. Anne is furry. Anne is quiet. Anne is round. Dave is big. Dave is furry. Dave is quiet. Dave is round. Dave is smart. Gary is big. Gary is furry. Gary is quiet. Gary is smart. Gary is young. All smart, quiet things are cold. All young things are furry. If something is young then it is cold. If Anne is smart and Anne is cold then Anne is round. If something is furry and big then it is smart. If Dave is furry then Dave is round. All furry things are quiet. Furry, smart things are young.
Anne is not quiet.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((((triple3 triple1) -> rule5) triple4) -> rule1) OR ((((triple3 triple1) -> rule5) ((triple3) -> rule7)) -> rule1) OR ((((triple3 ((triple3 triple1) -> rule5)) -> rule8)) -> rule3))] Anne is furry.[(triple3)] Anne is quiet.[(triple4 OR ((triple3) -> rule7))] Anne is round.[(triple5 OR ((((triple3 triple1) -> rule5) triple2) -> rule4) OR ((((triple3 triple1) -> rule5) ((((triple3 triple1) -> rule5) triple4) -> rule1)) -> rule4) OR ((((triple3 triple1) -> rule5) ((((triple3 triple1) -> rule5) ((triple3) -> rule7)) -> rule1)) -> rule4) OR ((((triple3 triple1) -> rule5) ((((triple3 ((triple3 triple1) -> rule5)) -> rule8)) -> rule3)) -> rule4))] Dave is big.[(triple6)] Dave is furry.[(triple7)] Dave is quiet.[(triple8 OR ((triple7) -> rule7))] Dave is round.[(triple9 OR ((triple7) -> rule6))] Dave is smart.[(triple10 OR ((triple7 triple6) -> rule5))] Gary is big.[(triple11)] Gary is furry.[(triple12 OR ((triple15) -> rule2))] Gary is quiet.[(triple13 OR ((triple12) -> rule7) OR ((((triple15) -> rule2)) -> rule7))] Gary is smart.[(triple14 OR ((triple12 triple11) -> rule5) OR ((((triple15) -> rule2) triple11) -> rule5))] Gary is young.[(triple15 OR ((triple12 triple14) -> rule8) OR ((triple12 ((triple12 triple11) -> rule5)) -> rule8))] @1: Anne is smart.[(((triple3 triple1) -> rule5))] Dave is cold.[(((triple10 triple8) -> rule1) OR ((((triple7 triple10) -> rule8)) -> rule3) OR ((triple10 ((triple7) -> rule7)) -> rule1) OR ((((triple7 triple6) -> rule5) triple8) -> rule1) OR ((((triple7 triple6) -> rule5) ((triple7) -> rule7)) -> rule1) OR ((((triple7 ((triple7 triple6) -> rule5)) -> rule8)) -> rule3))] Dave is young.[(((triple7 triple10) -> rule8) OR ((triple7 ((triple7 triple6) -> rule5)) -> rule8))] Gary is cold.[(((triple15) -> rule3) OR ((triple14 triple13) -> rule1) OR ((((triple12 triple14) -> rule8)) -> rule3) OR ((triple14 ((triple12) -> rule7)) -> rule1) OR ((((triple12 triple11) -> rule5) triple13) -> rule1) OR ((((triple12 triple11) -> rule5) ((triple12) -> rule7)) -> rule1) OR ((((triple12 ((triple12 triple11) -> rule5)) -> rule8)) -> rule3) OR ((triple14 ((((triple15) -> rule2)) -> rule7)) -> rule1) OR ((((((triple15) -> rule2) triple11) -> rule5) triple13) -> rule1) OR ((((triple12 triple11) -> rule5) ((((triple15) -> rule2)) -> rule7)) -> rule1) OR ((((((triple15) -> rule2) triple11) -> rule5) ((triple12) -> rule7)) -> rule1) OR ((((((triple15) -> rule2) triple11) -> rule5) ((((triple15) -> rule2)) -> rule7)) -> rule1))] @2: Anne is young.[(((triple3 ((triple3 triple1) -> rule5)) -> rule8))]