Bob is blue. Erin is round. Gary is big. Harry is not smart. All blue things are red. If something is round and not red then it is white.
Harry is not smart.
@0: Bob is blue.[(triple1)] Erin is round.[(triple2)] Gary is big.[(triple3)] Harry is not smart.[(triple4)] @1: Bob is red.[(((triple1) -> rule1))]