Anne is blue. Anne is furry. Anne is smart. Bob is big. Bob is smart. Dave is blue. Dave is not furry. Dave is green. Dave is not quiet. Dave is not smart. Gary is big. Gary is blue. Gary is furry. Gary is green. Gary is quiet. Gary is smart. If Bob is blue and Bob is not smart then Bob is red. If someone is big then they are quiet. Quiet people are green. All quiet people are blue. If someone is green and furry then they are not red. If someone is big and not smart then they are red. If someone is furry and not quiet then they are red. If Dave is green and Dave is not red then Dave is blue.
Dave is big.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is smart.[(triple3)] Bob is big.[(triple4)] Bob is smart.[(triple5)] Dave is blue.[(triple6)] Dave is green.[(triple8)] Dave is not furry.[(triple7)] Dave is not quiet.[(triple9)] Dave is not smart.[(triple10)] Gary is big.[(triple11)] Gary is blue.[(triple12 OR ((triple15) -> rule4) OR ((((triple11) -> rule2)) -> rule4))] Gary is furry.[(triple13)] Gary is green.[(triple14 OR ((triple15) -> rule3) OR ((((triple11) -> rule2)) -> rule3))] Gary is quiet.[(triple15 OR ((triple11) -> rule2))] Gary is smart.[(triple16)] @1: Bob is quiet.[(((triple4) -> rule2))] Gary is not red.[(((triple14 triple13) -> rule5) OR ((((triple15) -> rule3) triple13) -> rule5) OR ((((((triple11) -> rule2)) -> rule3) triple13) -> rule5))] @2: Bob is blue.[(((((triple4) -> rule2)) -> rule4))] Bob is green.[(((((triple4) -> rule2)) -> rule3))]