Anne is green. Anne is red. Erin is big. Erin is blue. Erin is green. Erin is red. Fiona is blue. Gary is big. Gary is red. Gary is rough. Gary is smart. Gary is white. Blue, smart people are red. Green, big people are smart. Big people are blue. Blue people are rough. All smart, big people are green. If Fiona is smart then Fiona is rough.
Fiona is big.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Erin is big.[(triple3)] Erin is blue.[(triple4 OR ((triple3) -> rule3))] Erin is green.[(triple5)] Erin is red.[(triple6 OR ((triple4 ((triple5 triple3) -> rule2)) -> rule1) OR ((((triple3) -> rule3) ((triple5 triple3) -> rule2)) -> rule1))] Fiona is blue.[(triple7)] Gary is big.[(triple8)] Gary is red.[(triple9 OR ((((triple8) -> rule3) triple11) -> rule1))] Gary is rough.[(triple10 OR ((((triple8) -> rule3)) -> rule4))] Gary is smart.[(triple11)] Gary is white.[(triple12)] @1: Erin is rough.[(((triple4) -> rule4) OR ((((triple3) -> rule3)) -> rule4))] Erin is smart.[(((triple5 triple3) -> rule2))] Fiona is rough.[(((triple7) -> rule4))] Gary is blue.[(((triple8) -> rule3))] Gary is green.[(((triple11 triple8) -> rule5))]