Bob is young. Dave is young. Gary is furry. Harry is cold. Cold, white things are red. All red things are furry. If something is young then it is white. Red things are blue. If Dave is rough and Dave is blue then Dave is furry. All rough, young things are red. If something is cold and white then it is red. If Bob is young then Bob is cold.
Harry is blue.
@0: Bob is young.[(triple1)] Dave is young.[(triple2)] Gary is furry.[(triple3)] Harry is cold.[(triple4)] @1: Bob is cold.[(((triple1) -> rule8))] Bob is white.[(((triple1) -> rule3))] Dave is white.[(((triple2) -> rule3))] @2: Bob is red.[(((((triple1) -> rule8) ((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule8) ((triple1) -> rule3)) -> rule7))] @3: Bob is blue.[(((((((triple1) -> rule8) ((triple1) -> rule3)) -> rule1)) -> rule4) OR ((((((triple1) -> rule8) ((triple1) -> rule3)) -> rule7)) -> rule4))] Bob is furry.[(((((((triple1) -> rule8) ((triple1) -> rule3)) -> rule1)) -> rule2) OR ((((((triple1) -> rule8) ((triple1) -> rule3)) -> rule7)) -> rule2))]