Fiona is blue. Fiona is kind. Fiona is nice. Fiona is smart. Fiona is white. Gary is big. Gary is blue. Gary is kind. Gary is nice. Gary is round. Gary is smart. Gary is white. If someone is smart and big then they are round. If Fiona is kind then Fiona is big. All big people are smart.
Fiona is not round.
@0: Fiona is blue.[(triple1)] Fiona is kind.[(triple2)] Fiona is nice.[(triple3)] Fiona is smart.[(triple4 OR ((((triple2) -> rule2)) -> rule3))] Fiona is white.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7)] Gary is kind.[(triple8)] Gary is nice.[(triple9)] Gary is round.[(triple10 OR ((triple11 triple6) -> rule1) OR ((((triple6) -> rule3) triple6) -> rule1))] Gary is smart.[(triple11 OR ((triple6) -> rule3))] Gary is white.[(triple12)] @1: Fiona is big.[(((triple2) -> rule2))] @2: Fiona is round.[(((triple4 ((triple2) -> rule2)) -> rule1) OR ((((((triple2) -> rule2)) -> rule3) ((triple2) -> rule2)) -> rule1))]