Bob is white. Dave is quiet. Fiona is furry. Harry is quiet. If Bob is rough then Bob is furry. All kind things are blue. If something is furry then it is rough. All rough, furry things are young. If something is young then it is kind. Rough, furry things are kind.
Harry is white.
@0: Bob is white.[(triple1)] Dave is quiet.[(triple2)] Fiona is furry.[(triple3)] Harry is quiet.[(triple4)] @1: Fiona is rough.[(((triple3) -> rule3))] @2: Fiona is kind.[(((((triple3) -> rule3) triple3) -> rule6) OR ((((((triple3) -> rule3) triple3) -> rule4)) -> rule5))] Fiona is young.[(((((triple3) -> rule3) triple3) -> rule4))] @3: Fiona is blue.[(((((((triple3) -> rule3) triple3) -> rule6)) -> rule2) OR ((((((((triple3) -> rule3) triple3) -> rule4)) -> rule5)) -> rule2))]