Anne is smart. Charlie is smart. Fiona is nice. Gary is smart. All rough people are green. All nice people are round. Blue people are rough. All round people are blue. Green, blue people are white. If Gary is green then Gary is blue. Blue people are green. All green, rough people are round.
Fiona is not round.
@0: Anne is smart.[(triple1)] Charlie is smart.[(triple2)] Fiona is nice.[(triple3)] Gary is smart.[(triple4)] @1: Fiona is round.[(((triple3) -> rule2))] @2: Fiona is blue.[(((((triple3) -> rule2)) -> rule4))] @3: Fiona is green.[(((((((triple3) -> rule2)) -> rule4)) -> rule7) OR ((((((((triple3) -> rule2)) -> rule4)) -> rule3)) -> rule1))] Fiona is rough.[(((((((triple3) -> rule2)) -> rule4)) -> rule3))] @4: Fiona is white.[(((((((((triple3) -> rule2)) -> rule4)) -> rule7) ((((triple3) -> rule2)) -> rule4)) -> rule5) OR ((((((((((triple3) -> rule2)) -> rule4)) -> rule3)) -> rule1) ((((triple3) -> rule2)) -> rule4)) -> rule5))]