Bob is blue. Bob is green. Bob is red. Bob is round. Bob is smart. Bob is white. Dave is blue. Dave is furry. Dave is green. Dave is red. Dave is round. Dave is smart. Dave is white. Fiona is furry. Fiona is green. Fiona is round. All round people are white. If someone is round then they are smart. All furry people are white. All white, green people are round. If Fiona is smart then Fiona is furry. All furry, round people are red.
Dave is white.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4 OR ((triple6 triple2) -> rule4))] Bob is smart.[(triple5 OR ((triple4) -> rule2) OR ((((triple6 triple2) -> rule4)) -> rule2))] Bob is white.[(triple6 OR ((triple4) -> rule1))] Dave is blue.[(triple7)] Dave is furry.[(triple8)] Dave is green.[(triple9)] Dave is red.[(triple10 OR ((triple8 triple11) -> rule6) OR ((triple8 ((triple13 triple9) -> rule4)) -> rule6) OR ((triple8 ((((triple8) -> rule3) triple9) -> rule4)) -> rule6))] Dave is round.[(triple11 OR ((triple13 triple9) -> rule4) OR ((((triple8) -> rule3) triple9) -> rule4))] Dave is smart.[(triple12 OR ((triple11) -> rule2) OR ((((triple13 triple9) -> rule4)) -> rule2) OR ((((((triple8) -> rule3) triple9) -> rule4)) -> rule2))] Dave is white.[(triple13 OR ((triple11) -> rule1) OR ((triple8) -> rule3))] Fiona is furry.[(triple14 OR ((((triple16) -> rule2)) -> rule5))] Fiona is green.[(triple15)] Fiona is round.[(triple16 OR ((((triple14) -> rule3) triple15) -> rule4))] @1: Fiona is red.[(((triple14 triple16) -> rule6) OR ((triple14 ((((triple14) -> rule3) triple15) -> rule4)) -> rule6) OR ((((((triple16) -> rule2)) -> rule5) triple16) -> rule6) OR ((((((triple16) -> rule2)) -> rule5) ((((triple14) -> rule3) triple15) -> rule4)) -> rule6))] Fiona is smart.[(((triple16) -> rule2) OR ((((((triple14) -> rule3) triple15) -> rule4)) -> rule2))] Fiona is white.[(((triple14) -> rule3) OR ((triple16) -> rule1) OR ((((((triple16) -> rule2)) -> rule5)) -> rule3))]