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