Bob is blue. Fiona is kind. Gary is young. Harry is smart. If someone is blue then they are smart. If someone is rough and kind then they are red. If someone is furry and blue then they are young. All blue, kind people are young. If Bob is kind and Bob is rough then Bob is blue. Furry people are blue. If Harry is young then Harry is kind. Blue, smart people are kind.
Harry is furry.
@0: Bob is blue.[(triple1)] Fiona is kind.[(triple2)] Gary is young.[(triple3)] Harry is smart.[(triple4)] @1: Bob is smart.[(((triple1) -> rule1))] @2: Bob is kind.[(((triple1 ((triple1) -> rule1)) -> rule8))] @3: Bob is young.[(((triple1 ((triple1 ((triple1) -> rule1)) -> rule8)) -> rule4))]