Anne is round. Anne is white. Bob is rough. Bob is smart. Bob is white. Erin is quiet. Erin is round. Erin is smart. Gary is big. Gary is round. All smart things are big. If Gary is young and Gary is quiet then Gary is round. All big, white things are quiet. If Erin is rough then Erin is round. If Gary is round then Gary is white. If Anne is rough then Anne is smart. If something is white and big then it is young. All young things are smart.
Bob is white.
@0: Anne is round.[(triple1)] Anne is white.[(triple2)] Bob is rough.[(triple3)] Bob is smart.[(triple4)] Bob is white.[(triple5)] Erin is quiet.[(triple6)] Erin is round.[(triple7)] Erin is smart.[(triple8)] Gary is big.[(triple9)] Gary is round.[(triple10)] @1: Bob is big.[(((triple4) -> rule1))] Erin is big.[(((triple8) -> rule1))] Gary is white.[(((triple10) -> rule5))] @2: Bob is quiet.[(((((triple4) -> rule1) triple5) -> rule3))] Bob is young.[(((triple5 ((triple4) -> rule1)) -> rule7))] Gary is quiet.[(((triple9 ((triple10) -> rule5)) -> rule3))] Gary is young.[(((((triple10) -> rule5) triple9) -> rule7))] @3: Gary is smart.[(((((((triple10) -> rule5) triple9) -> rule7)) -> rule8))]