Anne is blue. Anne is green. Anne is kind. Anne is nice. Anne is red. Erin is blue. Erin is green. Erin is nice. Erin is quiet. Fiona is green. Harry is blue. Harry is kind. Harry is nice. Harry is quiet. Harry is red. Harry is round. Green people are kind. Nice, round people are green. If Fiona is kind then Fiona is round. All round people are blue. If Erin is green then Erin is nice. If someone is round and quiet then they are nice. Round people are kind. If Harry is red then Harry is kind.
Fiona is quiet.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((triple2) -> rule1))] Anne is nice.[(triple4)] Anne is red.[(triple5)] Erin is blue.[(triple6)] Erin is green.[(triple7)] Erin is nice.[(triple8 OR ((triple7) -> rule5))] Erin is quiet.[(triple9)] Fiona is green.[(triple10)] Harry is blue.[(triple11 OR ((triple16) -> rule4))] Harry is kind.[(triple12 OR ((triple15) -> rule8) OR ((triple16) -> rule7) OR ((((triple13 triple16) -> rule2)) -> rule1) OR ((((((triple16 triple14) -> rule6) triple16) -> rule2)) -> rule1))] Harry is nice.[(triple13 OR ((triple16 triple14) -> rule6))] Harry is quiet.[(triple14)] Harry is red.[(triple15)] Harry is round.[(triple16)] @1: Erin is kind.[(((triple7) -> rule1))] Fiona is kind.[(((triple10) -> rule1))] Harry is green.[(((triple13 triple16) -> rule2) OR ((((triple16 triple14) -> rule6) triple16) -> rule2))] @2: Fiona is round.[(((((triple10) -> rule1)) -> rule3))] @3: Fiona is blue.[(((((((triple10) -> rule1)) -> rule3)) -> rule4))]