Anne is big. Anne is rough. Anne is white. Charlie is big. Charlie is rough. Charlie is smart. Fiona is big. Fiona is green. Gary is big. Gary is green. Gary is round. Gary is young. If Gary is green then Gary is smart. If Fiona is young then Fiona is rough. All big, green people are young. If Fiona is white then Fiona is young. If someone is young and big then they are rough. All young people are smart. All round people are rough. All smart, rough people are round.
Fiona is smart.
@0: Anne is big.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] Charlie is big.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Fiona is big.[(triple7)] Fiona is green.[(triple8)] Gary is big.[(triple9)] Gary is green.[(triple10)] Gary is round.[(triple11 OR ((((triple10) -> rule1) ((triple12 triple9) -> rule5)) -> rule8) OR ((((triple12) -> rule6) ((triple12 triple9) -> rule5)) -> rule8) OR ((((triple10) -> rule1) ((((triple9 triple10) -> rule3) triple9) -> rule5)) -> rule8) OR ((((triple12) -> rule6) ((((triple9 triple10) -> rule3) triple9) -> rule5)) -> rule8) OR ((((((triple9 triple10) -> rule3)) -> rule6) ((triple12 triple9) -> rule5)) -> rule8) OR ((((((triple9 triple10) -> rule3)) -> rule6) ((((triple9 triple10) -> rule3) triple9) -> rule5)) -> rule8))] Gary is young.[(triple12 OR ((triple9 triple10) -> rule3))] @1: Charlie is round.[(((triple6 triple5) -> rule8))] Fiona is young.[(((triple7 triple8) -> rule3))] Gary is rough.[(((triple11) -> rule7) OR ((triple12 triple9) -> rule5) OR ((((triple9 triple10) -> rule3) triple9) -> rule5))] Gary is smart.[(((triple10) -> rule1) OR ((triple12) -> rule6) OR ((((triple9 triple10) -> rule3)) -> rule6))] @2: Fiona is rough.[(((((triple7 triple8) -> rule3)) -> rule2) OR ((((triple7 triple8) -> rule3) triple7) -> rule5))] Fiona is smart.[(((((triple7 triple8) -> rule3)) -> rule6))] @3: Fiona is round.[(((((((triple7 triple8) -> rule3)) -> rule6) ((((triple7 triple8) -> rule3)) -> rule2)) -> rule8) OR ((((((triple7 triple8) -> rule3)) -> rule6) ((((triple7 triple8) -> rule3) triple7) -> rule5)) -> rule8))]