Bob is nice. Bob is round. Erin is big. Erin is blue. Erin is furry. Erin is round. Fiona is nice. Gary is blue. Gary is kind. Gary is quiet. If Fiona is nice then Fiona is quiet. Furry things are round. If something is quiet and big then it is furry. All blue things are kind. Nice, quiet things are big. Kind things are furry.
Fiona is big.
@0: Bob is nice.[(triple1)] Bob is round.[(triple2)] Erin is big.[(triple3)] Erin is blue.[(triple4)] Erin is furry.[(triple5 OR ((((triple4) -> rule4)) -> rule6))] Erin is round.[(triple6 OR ((triple5) -> rule2) OR ((((((triple4) -> rule4)) -> rule6)) -> rule2))] Fiona is nice.[(triple7)] Gary is blue.[(triple8)] Gary is kind.[(triple9 OR ((triple8) -> rule4))] Gary is quiet.[(triple10)] @1: Erin is kind.[(((triple4) -> rule4))] Fiona is quiet.[(((triple7) -> rule1))] Gary is furry.[(((triple9) -> rule6) OR ((((triple8) -> rule4)) -> rule6))] @2: Fiona is big.[(((triple7 ((triple7) -> rule1)) -> rule5))] Gary is round.[(((((triple9) -> rule6)) -> rule2) OR ((((((triple8) -> rule4)) -> rule6)) -> rule2))] @3: Fiona is furry.[(((((triple7) -> rule1) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule3))] @4: Fiona is round.[(((((((triple7) -> rule1) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule2))]