Anne is big. Anne is cold. Anne is round. Bob is white. Fiona is nice. Fiona is smart. Gary is nice. Nice people are white. If someone is cold and white then they are big. If someone is cold and white then they are smart. If Fiona is big then Fiona is nice. If someone is cold then they are big. If Gary is smart and Gary is nice then Gary is round. All nice people are smart. If Gary is round then Gary is cold.
Gary is not round.
@0: Anne is big.[(triple1 OR ((triple2) -> rule5))] Anne is cold.[(triple2)] Anne is round.[(triple3)] Bob is white.[(triple4)] Fiona is nice.[(triple5)] Fiona is smart.[(triple6 OR ((triple5) -> rule7))] Gary is nice.[(triple7)] @1: Fiona is white.[(((triple5) -> rule1))] Gary is smart.[(((triple7) -> rule7))] Gary is white.[(((triple7) -> rule1))] @2: Gary is round.[(((((triple7) -> rule7) triple7) -> rule6))] @3: Gary is cold.[(((((((triple7) -> rule7) triple7) -> rule6)) -> rule8))] @4: Gary is big.[(((((((((triple7) -> rule7) triple7) -> rule6)) -> rule8)) -> rule5) OR ((((((((triple7) -> rule7) triple7) -> rule6)) -> rule8) ((triple7) -> rule1)) -> rule2))]