Anne is nice. Anne is smart. Bob is round. Gary is big. Gary is smart. Harry is rough. Harry is smart. All young people are cold. All smart, big people are rough. If someone is big then they are young. If someone is round then they are big. All cold, round people are big. If someone is nice and round then they are smart. If Bob is young and Bob is big then Bob is nice. If Bob is nice and Bob is cold then Bob is young.
Anne is not round.
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2)] Bob is round.[(triple3)] Gary is big.[(triple4)] Gary is smart.[(triple5)] Harry is rough.[(triple6)] Harry is smart.[(triple7)] @1: Bob is big.[(((triple3) -> rule4))] Gary is rough.[(((triple5 triple4) -> rule2))] Gary is young.[(((triple4) -> rule3))] @2: Bob is young.[(((((triple3) -> rule4)) -> rule3))] Gary is cold.[(((((triple4) -> rule3)) -> rule1))] @3: Bob is cold.[(((((((triple3) -> rule4)) -> rule3)) -> rule1))] Bob is nice.[(((((((triple3) -> rule4)) -> rule3) ((triple3) -> rule4)) -> rule7))] @4: Bob is smart.[(((((((((triple3) -> rule4)) -> rule3) ((triple3) -> rule4)) -> rule7) triple3) -> rule6))] @5: Bob is rough.[(((((((((((triple3) -> rule4)) -> rule3) ((triple3) -> rule4)) -> rule7) triple3) -> rule6) ((triple3) -> rule4)) -> rule2))]