Anne is smart. Bob is kind. Erin is smart. Harry is quiet. If Bob is quiet and Bob is young then Bob is cold. Big, kind things are rough. If Bob is cold then Bob is young. If Harry is big and Harry is quiet then Harry is smart. Kind things are smart. If something is young and smart then it is big. If Bob is cold and Bob is kind then Bob is rough. Smart things are cold.
Anne is not big.
@0: Anne is smart.[(triple1)] Bob is kind.[(triple2)] Erin is smart.[(triple3)] Harry is quiet.[(triple4)] @1: Anne is cold.[(((triple1) -> rule8))] Bob is smart.[(((triple2) -> rule5))] Erin is cold.[(((triple3) -> rule8))] @2: Bob is cold.[(((((triple2) -> rule5)) -> rule8))] @3: Bob is rough.[(((((((triple2) -> rule5)) -> rule8) triple2) -> rule7) OR ((((((((((triple2) -> rule5)) -> rule8)) -> rule3) ((triple2) -> rule5)) -> rule6) triple2) -> rule2))] Bob is young.[(((((((triple2) -> rule5)) -> rule8)) -> rule3))] @4: Bob is big.[(((((((((triple2) -> rule5)) -> rule8)) -> rule3) ((triple2) -> rule5)) -> rule6))]