Anne is furry. Bob is nice. Bob is young. Fiona is nice. Fiona is red. Harry is big. Harry is nice. Harry is red. Harry is round. Harry is smart. All young people are furry. Round, young people are nice. All red, nice people are young.
Harry is young.
@0: Anne is furry.[(triple1)] Bob is nice.[(triple2)] Bob is young.[(triple3)] Fiona is nice.[(triple4)] Fiona is red.[(triple5)] Harry is big.[(triple6)] Harry is nice.[(triple7)] Harry is red.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10)] @1: Bob is furry.[(((triple3) -> rule1))] Fiona is young.[(((triple5 triple4) -> rule3))] Harry is young.[(((triple8 triple7) -> rule3))] @2: Fiona is furry.[(((((triple5 triple4) -> rule3)) -> rule1))] Harry is furry.[(((((triple8 triple7) -> rule3)) -> rule1))]