Anne is kind. Anne is nice. Anne is quiet. Anne is round. Erin is cold. Erin is nice. Erin is rough. Erin is smart. Fiona is kind. Fiona is nice. Harry is kind. Harry is nice. Harry is quiet. Harry is rough. Harry is round. Harry is smart. If someone is rough then they are cold. If someone is quiet and nice then they are round. If Harry is cold then Harry is rough. Rough people are quiet. Quiet people are round. Kind, nice people are quiet. If someone is round then they are rough. All cold people are nice. All kind, cold people are smart.
Fiona is smart.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2 OR ((((((triple4) -> rule7)) -> rule1)) -> rule8) OR ((((((((triple3) -> rule5)) -> rule7)) -> rule1)) -> rule8))] Anne is quiet.[(triple3 OR ((triple1 triple2) -> rule6) OR ((((triple4) -> rule7)) -> rule4) OR ((triple1 ((((((triple4) -> rule7)) -> rule1)) -> rule8)) -> rule6))] Anne is round.[(triple4 OR ((triple3) -> rule5) OR ((triple3 triple2) -> rule2) OR ((((triple1 triple2) -> rule6)) -> rule5) OR ((((triple1 triple2) -> rule6) triple2) -> rule2))] Erin is cold.[(triple5 OR ((triple7) -> rule1))] Erin is nice.[(triple6 OR ((triple5) -> rule8) OR ((((triple7) -> rule1)) -> rule8))] Erin is rough.[(triple7)] Erin is smart.[(triple8)] Fiona is kind.[(triple9)] Fiona is nice.[(triple10)] Harry is kind.[(triple11)] Harry is nice.[(triple12 OR ((((triple14) -> rule1)) -> rule8) OR ((((((triple15) -> rule7)) -> rule1)) -> rule8) OR ((((((((triple13) -> rule5)) -> rule7)) -> rule1)) -> rule8))] Harry is quiet.[(triple13 OR ((triple14) -> rule4) OR ((triple11 triple12) -> rule6) OR ((((triple15) -> rule7)) -> rule4) OR ((triple11 ((((triple14) -> rule1)) -> rule8)) -> rule6) OR ((triple11 ((((((triple15) -> rule7)) -> rule1)) -> rule8)) -> rule6))] Harry is rough.[(triple14 OR ((triple15) -> rule7) OR ((((triple13) -> rule5)) -> rule7) OR ((((triple13 triple12) -> rule2)) -> rule7) OR ((((((triple11 triple12) -> rule6)) -> rule5)) -> rule7) OR ((((((triple11 triple12) -> rule6) triple12) -> rule2)) -> rule7))] Harry is round.[(triple15 OR ((triple13) -> rule5) OR ((triple13 triple12) -> rule2) OR ((((triple14) -> rule4)) -> rule5) OR ((((triple11 triple12) -> rule6)) -> rule5) OR ((((triple14) -> rule4) triple12) -> rule2) OR ((((triple11 triple12) -> rule6) triple12) -> rule2) OR ((triple13 ((((triple14) -> rule1)) -> rule8)) -> rule2) OR ((((triple14) -> rule4) ((((triple14) -> rule1)) -> rule8)) -> rule2) OR ((((triple11 triple12) -> rule6) ((((triple14) -> rule1)) -> rule8)) -> rule2) OR ((((triple11 ((((triple14) -> rule1)) -> rule8)) -> rule6)) -> rule5) OR ((((triple11 ((((triple14) -> rule1)) -> rule8)) -> rule6) triple12) -> rule2) OR ((((triple11 ((((triple14) -> rule1)) -> rule8)) -> rule6) ((((triple14) -> rule1)) -> rule8)) -> rule2))] Harry is smart.[(triple16 OR ((triple11 ((triple14) -> rule1)) -> rule9) OR ((triple11 ((((triple15) -> rule7)) -> rule1)) -> rule9) OR ((triple11 ((((((triple13) -> rule5)) -> rule7)) -> rule1)) -> rule9) OR ((triple11 ((((((triple13 triple12) -> rule2)) -> rule7)) -> rule1)) -> rule9) OR ((triple11 ((((((((triple11 triple12) -> rule6)) -> rule5)) -> rule7)) -> rule1)) -> rule9) OR ((triple11 ((((((((triple11 triple12) -> rule6) triple12) -> rule2)) -> rule7)) -> rule1)) -> rule9))] @1: Anne is rough.[(((triple4) -> rule7) OR ((((triple3) -> rule5)) -> rule7) OR ((((triple3 triple2) -> rule2)) -> rule7) OR ((((((triple1 triple2) -> rule6)) -> rule5)) -> rule7) OR ((((((triple1 triple2) -> rule6) triple2) -> rule2)) -> rule7))] Erin is quiet.[(((triple7) -> rule4))] Fiona is quiet.[(((triple9 triple10) -> rule6))] Harry is cold.[(((triple14) -> rule1) OR ((((triple15) -> rule7)) -> rule1) OR ((((((triple13) -> rule5)) -> rule7)) -> rule1) OR ((((((triple13 triple12) -> rule2)) -> rule7)) -> rule1) OR ((((((((triple11 triple12) -> rule6)) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple11 triple12) -> rule6) triple12) -> rule2)) -> rule7)) -> rule1))] @2: Anne is cold.[(((((triple4) -> rule7)) -> rule1) OR ((((((triple3) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 triple2) -> rule2)) -> rule7)) -> rule1) OR ((((((((triple1 triple2) -> rule6)) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple1 triple2) -> rule6) triple2) -> rule2)) -> rule7)) -> rule1))] Erin is round.[(((((triple7) -> rule4)) -> rule5) OR ((((triple7) -> rule4) triple6) -> rule2) OR ((((triple7) -> rule4) ((triple5) -> rule8)) -> rule2) OR ((((triple7) -> rule4) ((((triple7) -> rule1)) -> rule8)) -> rule2))] Fiona is round.[(((((triple9 triple10) -> rule6)) -> rule5) OR ((((triple9 triple10) -> rule6) triple10) -> rule2))] @3: Anne is smart.[(((triple1 ((((triple4) -> rule7)) -> rule1)) -> rule9) OR ((triple1 ((((((triple3) -> rule5)) -> rule7)) -> rule1)) -> rule9) OR ((triple1 ((((((triple3 triple2) -> rule2)) -> rule7)) -> rule1)) -> rule9) OR ((triple1 ((((((((triple1 triple2) -> rule6)) -> rule5)) -> rule7)) -> rule1)) -> rule9) OR ((triple1 ((((((((triple1 triple2) -> rule6) triple2) -> rule2)) -> rule7)) -> rule1)) -> rule9))] Fiona is rough.[(((((((triple9 triple10) -> rule6)) -> rule5)) -> rule7) OR ((((((triple9 triple10) -> rule6) triple10) -> rule2)) -> rule7))] @4: Fiona is cold.[(((((((((triple9 triple10) -> rule6)) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple9 triple10) -> rule6) triple10) -> rule2)) -> rule7)) -> rule1))] @5: Fiona is smart.[(((triple9 ((((((((triple9 triple10) -> rule6)) -> rule5)) -> rule7)) -> rule1)) -> rule9) OR ((triple9 ((((((((triple9 triple10) -> rule6) triple10) -> rule2)) -> rule7)) -> rule1)) -> rule9))]