Bob is young. Dave is quiet. Erin is furry. Gary is quiet. All young things are quiet. Quiet things are not furry. If something is quiet and not young then it is cold. If something is big then it is not cold. If Bob is young and Bob is not furry then Bob is big. All furry, quiet things are red. If something is big then it is not red. If something is furry then it is red.
Gary is young.
@0: Bob is young.[(triple1)] Dave is quiet.[(triple2)] Erin is furry.[(triple3)] Gary is quiet.[(triple4)] @1: Bob is quiet.[(((triple1) -> rule1))] Dave is not furry.[(((triple2) -> rule2))] Erin is red.[(((triple3) -> rule8))] Gary is not furry.[(((triple4) -> rule2))] @2: Bob is not furry.[(((((triple1) -> rule1)) -> rule2))] @3: Bob is big.[(((triple1 ((((triple1) -> rule1)) -> rule2)) -> rule5))] @4: Bob is not cold.[(((((triple1 ((((triple1) -> rule1)) -> rule2)) -> rule5)) -> rule4))] Bob is not red.[(((((triple1 ((((triple1) -> rule1)) -> rule2)) -> rule5)) -> rule7))]