Anne is kind. Fiona is big. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is red. Fiona is round. All round, furry people are kind. If someone is kind and furry then they are big. If someone is furry then they are round. Big people are red. Furry people are green. All kind people are round.
Anne is quiet.
@0: Anne is kind.[(triple1)] Fiona is big.[(triple2 OR ((((triple7 triple3) -> rule1) triple3) -> rule2) OR ((((((triple3) -> rule3) triple3) -> rule1) triple3) -> rule2))] Fiona is furry.[(triple3)] Fiona is green.[(triple4 OR ((triple3) -> rule5))] Fiona is quiet.[(triple5)] Fiona is red.[(triple6 OR ((triple2) -> rule4) OR ((((((triple7 triple3) -> rule1) triple3) -> rule2)) -> rule4) OR ((((((((triple3) -> rule3) triple3) -> rule1) triple3) -> rule2)) -> rule4))] Fiona is round.[(triple7 OR ((triple3) -> rule3))] @1: Anne is round.[(((triple1) -> rule6))] Fiona is kind.[(((triple7 triple3) -> rule1) OR ((((triple3) -> rule3) triple3) -> rule1))]