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