Bob is red. Bob is round. Erin is furry. Fiona is blue. Fiona is quiet. Fiona is red. Harry is round. All round things are young. Red, round things are quiet. All blue, big things are round. Blue, young things are round. Young things are quiet. All quiet things are round.
Erin is not round.
@0: Bob is red.[(triple1)] Bob is round.[(triple2)] Erin is furry.[(triple3)] Fiona is blue.[(triple4)] Fiona is quiet.[(triple5)] Fiona is red.[(triple6)] Harry is round.[(triple7)] @1: Bob is quiet.[(((triple1 triple2) -> rule2) OR ((((triple2) -> rule1)) -> rule5))] Bob is young.[(((triple2) -> rule1))] Fiona is round.[(((triple5) -> rule6))] Harry is young.[(((triple7) -> rule1))] @2: Fiona is young.[(((((triple5) -> rule6)) -> rule1))] Harry is quiet.[(((((triple7) -> rule1)) -> rule5))]