Anne is nice. Anne is rough. Bob is rough. Bob is smart. Bob is white. Bob is young. Fiona is big. Fiona is quiet. Fiona is rough. Fiona is smart. Fiona is white. Fiona is young. Gary is quiet. Gary is smart. Gary is white. All big, rough people are smart. All white people are big. All smart, nice people are quiet.
Anne is not big.
@0: Anne is nice.[(triple1)] Anne is rough.[(triple2)] Bob is rough.[(triple3)] Bob is smart.[(triple4 OR ((((triple5) -> rule2) triple3) -> rule1))] Bob is white.[(triple5)] Bob is young.[(triple6)] Fiona is big.[(triple7 OR ((triple11) -> rule2))] Fiona is quiet.[(triple8)] Fiona is rough.[(triple9)] Fiona is smart.[(triple10 OR ((triple7 triple9) -> rule1) OR ((((triple11) -> rule2) triple9) -> rule1))] Fiona is white.[(triple11)] Fiona is young.[(triple12)] Gary is quiet.[(triple13)] Gary is smart.[(triple14)] Gary is white.[(triple15)] @1: Bob is big.[(((triple5) -> rule2))] Gary is big.[(((triple15) -> rule2))]