Anne is smart. Anne is white. Bob is big. Bob is kind. Fiona is kind. Gary is big. Gary is round. If something is big and red then it is smart. All smart, red things are round. All furry, big things are white. If Gary is round then Gary is white. Smart things are round. If something is kind then it is smart. All round things are kind. If Gary is big then Gary is smart.
Bob is smart.
@0: Anne is smart.[(triple1)] Anne is white.[(triple2)] Bob is big.[(triple3)] Bob is kind.[(triple4)] Fiona is kind.[(triple5)] Gary is big.[(triple6)] Gary is round.[(triple7 OR ((((triple6) -> rule8)) -> rule5))] @1: Anne is round.[(((triple1) -> rule5))] Bob is smart.[(((triple4) -> rule6))] Fiona is smart.[(((triple5) -> rule6))] Gary is kind.[(((triple7) -> rule7) OR ((((((triple6) -> rule8)) -> rule5)) -> rule7))] Gary is smart.[(((triple6) -> rule8) OR ((((triple7) -> rule7)) -> rule6))] Gary is white.[(((triple7) -> rule4) OR ((((((triple6) -> rule8)) -> rule5)) -> rule4))] @2: Anne is kind.[(((((triple1) -> rule5)) -> rule7))] Bob is round.[(((((triple4) -> rule6)) -> rule5))] Fiona is round.[(((((triple5) -> rule6)) -> rule5))]