Anne is quiet. Bob is kind. Bob is round. Bob is smart. Bob is white. Erin is kind. Erin is quiet. Erin is round. Erin is smart. Erin is white. Fiona is quiet. If Fiona is red then Fiona is round. If something is round then it is nice. If Fiona is quiet then Fiona is red. All round things are nice. If something is quiet and round then it is kind. If something is nice and white then it is smart. Red, nice things are white.
Fiona is round.
@0: Anne is quiet.[(triple1)] Bob is kind.[(triple2)] Bob is round.[(triple3)] Bob is smart.[(triple4 OR ((((triple3) -> rule2) triple5) -> rule6) OR ((((triple3) -> rule4) triple5) -> rule6))] Bob is white.[(triple5)] Erin is kind.[(triple6 OR ((triple7 triple8) -> rule5))] Erin is quiet.[(triple7)] Erin is round.[(triple8)] Erin is smart.[(triple9 OR ((((triple8) -> rule2) triple10) -> rule6) OR ((((triple8) -> rule4) triple10) -> rule6))] Erin is white.[(triple10)] Fiona is quiet.[(triple11)] @1: Bob is nice.[(((triple3) -> rule2) OR ((triple3) -> rule4))] Erin is nice.[(((triple8) -> rule2) OR ((triple8) -> rule4))] Fiona is red.[(((triple11) -> rule3))] @2: Fiona is round.[(((((triple11) -> rule3)) -> rule1))] @3: Fiona is kind.[(((triple11 ((((triple11) -> rule3)) -> rule1)) -> rule5))] Fiona is nice.[(((((((triple11) -> rule3)) -> rule1)) -> rule2) OR ((((((triple11) -> rule3)) -> rule1)) -> rule4))] @4: Fiona is white.[(((((triple11) -> rule3) ((((((triple11) -> rule3)) -> rule1)) -> rule2)) -> rule7) OR ((((triple11) -> rule3) ((((((triple11) -> rule3)) -> rule1)) -> rule4)) -> rule7))] @5: Fiona is smart.[(((((((((triple11) -> rule3)) -> rule1)) -> rule2) ((((triple11) -> rule3) ((((((triple11) -> rule3)) -> rule1)) -> rule2)) -> rule7)) -> rule6) OR ((((((((triple11) -> rule3)) -> rule1)) -> rule2) ((((triple11) -> rule3) ((((((triple11) -> rule3)) -> rule1)) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple11) -> rule3)) -> rule1)) -> rule4) ((((triple11) -> rule3) ((((((triple11) -> rule3)) -> rule1)) -> rule2)) -> rule7)) -> rule6) OR ((((((((triple11) -> rule3)) -> rule1)) -> rule4) ((((triple11) -> rule3) ((((((triple11) -> rule3)) -> rule1)) -> rule4)) -> rule7)) -> rule6))]