Bob is big. Dave is blue. Fiona is blue. Harry is not blue. All smart people are not furry. If someone is big then they are not furry. If someone is nice then they are big. If someone is blue then they are cold. All blue people are nice. Nice people are blue.
Harry is big.
@0: Bob is big.[(triple1)] Dave is blue.[(triple2)] Fiona is blue.[(triple3)] Harry is not blue.[(triple4)] @1: Bob is not furry.[(((triple1) -> rule2))] Dave is cold.[(((triple2) -> rule4))] Dave is nice.[(((triple2) -> rule5))] Fiona is cold.[(((triple3) -> rule4))] Fiona is nice.[(((triple3) -> rule5))] @2: Dave is big.[(((((triple2) -> rule5)) -> rule3))] Fiona is big.[(((((triple3) -> rule5)) -> rule3))] @3: Dave is not furry.[(((((((triple2) -> rule5)) -> rule3)) -> rule2))] Fiona is not furry.[(((((((triple3) -> rule5)) -> rule3)) -> rule2))]