Charlie is round. Charlie is smart. Dave is furry. Dave is green. Fiona is furry. Fiona is green. Fiona is red. Fiona is smart. Gary is red. Gary is round. Gary is smart. Gary is white. Round things are green. Green, round things are red. Smart things are red. All green things are white. If something is red then it is furry. If Dave is white and Dave is furry then Dave is smart. Green, smart things are nice. Round things are nice.
Charlie is not furry.
@0: Charlie is round.[(triple1)] Charlie is smart.[(triple2)] Dave is furry.[(triple3)] Dave is green.[(triple4)] Fiona is furry.[(triple5 OR ((triple7) -> rule5) OR ((((triple8) -> rule3)) -> rule5))] Fiona is green.[(triple6)] Fiona is red.[(triple7 OR ((triple8) -> rule3))] Fiona is smart.[(triple8)] Gary is red.[(triple9 OR ((triple11) -> rule3) OR ((((triple10) -> rule1) triple10) -> rule2))] Gary is round.[(triple10)] Gary is smart.[(triple11)] Gary is white.[(triple12 OR ((((triple10) -> rule1)) -> rule4))] @1: Charlie is green.[(((triple1) -> rule1))] Charlie is nice.[(((triple1) -> rule8) OR ((((triple1) -> rule1) triple2) -> rule7))] Charlie is red.[(((triple2) -> rule3) OR ((((triple1) -> rule1) triple1) -> rule2))] Dave is white.[(((triple4) -> rule4))] Fiona is nice.[(((triple6 triple8) -> rule7))] Fiona is white.[(((triple6) -> rule4))] Gary is furry.[(((triple9) -> rule5) OR ((((triple11) -> rule3)) -> rule5) OR ((((((triple10) -> rule1) triple10) -> rule2)) -> rule5))] Gary is green.[(((triple10) -> rule1))] Gary is nice.[(((triple10) -> rule8) OR ((((triple10) -> rule1) triple11) -> rule7))] @2: Charlie is furry.[(((((triple2) -> rule3)) -> rule5) OR ((((((triple1) -> rule1) triple1) -> rule2)) -> rule5))] Charlie is white.[(((((triple1) -> rule1)) -> rule4))] Dave is smart.[(((((triple4) -> rule4) triple3) -> rule6))] @3: Dave is nice.[(((triple4 ((((triple4) -> rule4) triple3) -> rule6)) -> rule7))] Dave is red.[(((((((triple4) -> rule4) triple3) -> rule6)) -> rule3))]