Bob is not young. Dave is nice. All young things are blue. All cold things are blue. If something is blue then it is cold. If something is nice then it is young. If Bob is quiet then Bob is nice. If Dave is young then Dave is smart. If Dave is nice then Dave is young. If Bob is round and Bob is young then Bob is quiet.
Bob is blue.
@0: Bob is not young.[(triple1)] Dave is nice.[(triple2)] @1: Dave is young.[(((triple2) -> rule4) OR ((triple2) -> rule7))] @2: Dave is blue.[(((((triple2) -> rule4)) -> rule1) OR ((((triple2) -> rule7)) -> rule1))] Dave is smart.[(((((triple2) -> rule4)) -> rule6) OR ((((triple2) -> rule7)) -> rule6))] @3: Dave is cold.[(((((((triple2) -> rule4)) -> rule1)) -> rule3) OR ((((((triple2) -> rule7)) -> rule1)) -> rule3))]