Anne is big. Anne is white. Bob is smart. Bob is white. Fiona is round. Gary is rough. Gary is smart. Smart things are round. Smart, green things are blue. Rough things are white. If something is green and rough then it is white. Big things are blue. All round things are rough. All rough things are white. All white, blue things are smart.
Fiona is blue.
@0: Anne is big.[(triple1)] Anne is white.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4 OR ((((((triple3) -> rule1)) -> rule6)) -> rule3) OR ((((((triple3) -> rule1)) -> rule6)) -> rule7))] Fiona is round.[(triple5)] Gary is rough.[(triple6 OR ((((triple7) -> rule1)) -> rule6))] Gary is smart.[(triple7)] @1: Anne is blue.[(((triple1) -> rule5))] Bob is round.[(((triple3) -> rule1))] Fiona is rough.[(((triple5) -> rule6))] Gary is round.[(((triple7) -> rule1))] Gary is white.[(((triple6) -> rule3) OR ((triple6) -> rule7) OR ((((((triple7) -> rule1)) -> rule6)) -> rule3) OR ((((((triple7) -> rule1)) -> rule6)) -> rule7))] @2: Anne is smart.[(((triple2 ((triple1) -> rule5)) -> rule8))] Bob is rough.[(((((triple3) -> rule1)) -> rule6))] Fiona is white.[(((((triple5) -> rule6)) -> rule3) OR ((((triple5) -> rule6)) -> rule7))] @3: Anne is round.[(((((triple2 ((triple1) -> rule5)) -> rule8)) -> rule1))] @4: Anne is rough.[(((((((triple2 ((triple1) -> rule5)) -> rule8)) -> rule1)) -> rule6))]