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