Bob is green. Bob is young. Erin is furry. Erin is green. Erin is kind. Erin is red. Erin is round. Erin is young. Fiona is furry. Fiona is green. Fiona is red. Fiona is young. All red things are quiet. If Fiona is young and Fiona is round then Fiona is green. All young things are quiet. If something is young then it is red. Kind things are quiet. All red, green things are furry. If Bob is young and Bob is red then Bob is furry. If Fiona is round then Fiona is green.
Fiona is furry.
@0: Bob is green.[(triple1)] Bob is young.[(triple2)] Erin is furry.[(triple3 OR ((triple6 triple4) -> rule6) OR ((((triple8) -> rule4) triple4) -> rule6))] Erin is green.[(triple4)] Erin is kind.[(triple5)] Erin is red.[(triple6 OR ((triple8) -> rule4))] Erin is round.[(triple7)] Erin is young.[(triple8)] Fiona is furry.[(triple9 OR ((triple11 triple10) -> rule6) OR ((((triple12) -> rule4) triple10) -> rule6))] Fiona is green.[(triple10)] Fiona is red.[(triple11 OR ((triple12) -> rule4))] Fiona is young.[(triple12)] @1: Bob is quiet.[(((triple2) -> rule3) OR ((((triple2) -> rule4)) -> rule1))] Bob is red.[(((triple2) -> rule4))] Erin is quiet.[(((triple5) -> rule5) OR ((triple6) -> rule1) OR ((triple8) -> rule3) OR ((((triple8) -> rule4)) -> rule1))] Fiona is quiet.[(((triple11) -> rule1) OR ((triple12) -> rule3) OR ((((triple12) -> rule4)) -> rule1))] @2: Bob is furry.[(((triple2 ((triple2) -> rule4)) -> rule7) OR ((((triple2) -> rule4) triple1) -> rule6))]