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