Charlie is green. Dave is not white. Fiona is blue. All white, blue people are furry. All green people are furry. If someone is big then they are green. All blue people are big. Big people are not round. If someone is green then they are not round. All furry people are not cold. If Charlie is green then Charlie is not big.
Charlie is not blue.
@0: Charlie is green.[(triple1)] Dave is not white.[(triple2)] Fiona is blue.[(triple3)] @1: Charlie is furry.[(((triple1) -> rule2))] Charlie is not big.[(((triple1) -> rule8))] Charlie is not round.[(((triple1) -> rule6))] Fiona is big.[(((triple3) -> rule4))] @2: Charlie is not cold.[(((((triple1) -> rule2)) -> rule7))] Fiona is green.[(((((triple3) -> rule4)) -> rule3))] Fiona is not round.[(((((triple3) -> rule4)) -> rule5) OR ((((((triple3) -> rule4)) -> rule3)) -> rule6))] @3: Fiona is furry.[(((((((triple3) -> rule4)) -> rule3)) -> rule2))] @4: Fiona is not cold.[(((((((((triple3) -> rule4)) -> rule3)) -> rule2)) -> rule7))]