Anne is big. Anne is cold. Anne is furry. Anne is quiet. Anne is round. Charlie is furry. Charlie is quiet. Charlie is round. Fiona is big. Fiona is furry. Fiona is nice. Fiona is quiet. Harry is blue. Harry is cold. Harry is furry. All big, quiet people are blue. Round, furry people are nice. If Charlie is quiet then Charlie is nice. Nice people are big. Big people are furry. All quiet, furry people are cold. Quiet, cold people are round. All cold people are blue.
Harry is not big.
@0: Anne is big.[(triple1 OR ((((triple5 triple3) -> rule2)) -> rule4) OR ((((((triple4 triple2) -> rule7) triple3) -> rule2)) -> rule4) OR ((((((triple4 ((triple4 triple3) -> rule6)) -> rule7) triple3) -> rule2)) -> rule4))] Anne is cold.[(triple2 OR ((triple4 triple3) -> rule6) OR ((triple4 ((triple1) -> rule5)) -> rule6))] Anne is furry.[(triple3 OR ((triple1) -> rule5))] Anne is quiet.[(triple4)] Anne is round.[(triple5 OR ((triple4 triple2) -> rule7) OR ((triple4 ((triple4 triple3) -> rule6)) -> rule7) OR ((triple4 ((triple4 ((triple1) -> rule5)) -> rule6)) -> rule7))] Charlie is furry.[(triple6 OR ((((((triple7) -> rule3)) -> rule4)) -> rule5))] Charlie is quiet.[(triple7)] Charlie is round.[(triple8 OR ((triple7 ((triple7 triple6) -> rule6)) -> rule7) OR ((triple7 ((triple7 ((((((triple7) -> rule3)) -> rule4)) -> rule5)) -> rule6)) -> rule7))] Fiona is big.[(triple9 OR ((triple11) -> rule4) OR ((((((triple12 ((triple12 triple10) -> rule6)) -> rule7) triple10) -> rule2)) -> rule4))] Fiona is furry.[(triple10 OR ((triple9) -> rule5) OR ((((triple11) -> rule4)) -> rule5))] Fiona is nice.[(triple11 OR ((((triple12 ((triple12 triple10) -> rule6)) -> rule7) triple10) -> rule2) OR ((((triple12 ((triple12 triple10) -> rule6)) -> rule7) ((triple9) -> rule5)) -> rule2) OR ((((triple12 ((triple12 ((triple9) -> rule5)) -> rule6)) -> rule7) triple10) -> rule2) OR ((((triple12 ((triple12 ((triple9) -> rule5)) -> rule6)) -> rule7) ((triple9) -> rule5)) -> rule2))] Fiona is quiet.[(triple12)] Harry is blue.[(triple13 OR ((triple14) -> rule8))] Harry is cold.[(triple14)] Harry is furry.[(triple15)] @1: Anne is blue.[(((triple2) -> rule8) OR ((triple1 triple4) -> rule1) OR ((((triple4 triple3) -> rule6)) -> rule8) OR ((((triple4 ((triple1) -> rule5)) -> rule6)) -> rule8) OR ((((((triple5 triple3) -> rule2)) -> rule4) triple4) -> rule1) OR ((((((((triple4 triple2) -> rule7) triple3) -> rule2)) -> rule4) triple4) -> rule1) OR ((((((((triple4 ((triple4 triple3) -> rule6)) -> rule7) triple3) -> rule2)) -> rule4) triple4) -> rule1))] Anne is nice.[(((triple5 triple3) -> rule2) OR ((triple5 ((triple1) -> rule5)) -> rule2) OR ((((triple4 triple2) -> rule7) triple3) -> rule2) OR ((((triple4 triple2) -> rule7) ((triple1) -> rule5)) -> rule2) OR ((((triple4 ((triple4 triple3) -> rule6)) -> rule7) triple3) -> rule2) OR ((((triple4 ((triple4 triple3) -> rule6)) -> rule7) ((triple1) -> rule5)) -> rule2) OR ((((triple4 ((triple4 ((triple1) -> rule5)) -> rule6)) -> rule7) triple3) -> rule2) OR ((((triple4 ((triple4 ((triple1) -> rule5)) -> rule6)) -> rule7) ((triple1) -> rule5)) -> rule2))] Charlie is cold.[(((triple7 triple6) -> rule6) OR ((triple7 ((((((triple7) -> rule3)) -> rule4)) -> rule5)) -> rule6))] Charlie is nice.[(((triple7) -> rule3) OR ((triple8 triple6) -> rule2) OR ((((triple7 ((triple7 triple6) -> rule6)) -> rule7) triple6) -> rule2))] Fiona is blue.[(((triple9 triple12) -> rule1) OR ((((triple12 triple10) -> rule6)) -> rule8) OR ((((triple11) -> rule4) triple12) -> rule1) OR ((((triple12 ((triple9) -> rule5)) -> rule6)) -> rule8) OR ((((triple12 ((((triple11) -> rule4)) -> rule5)) -> rule6)) -> rule8) OR ((((((((triple12 ((triple12 triple10) -> rule6)) -> rule7) triple10) -> rule2)) -> rule4) triple12) -> rule1))] Fiona is cold.[(((triple12 triple10) -> rule6) OR ((triple12 ((triple9) -> rule5)) -> rule6) OR ((triple12 ((((triple11) -> rule4)) -> rule5)) -> rule6))] @2: Charlie is big.[(((((triple7) -> rule3)) -> rule4) OR ((((triple8 triple6) -> rule2)) -> rule4) OR ((((((triple7 ((triple7 triple6) -> rule6)) -> rule7) triple6) -> rule2)) -> rule4))] Charlie is blue.[(((((triple7 triple6) -> rule6)) -> rule8) OR ((((((triple7) -> rule3)) -> rule4) triple7) -> rule1) OR ((((((triple8 triple6) -> rule2)) -> rule4) triple7) -> rule1) OR ((((triple7 ((((((triple7) -> rule3)) -> rule4)) -> rule5)) -> rule6)) -> rule8) OR ((((((((triple7 ((triple7 triple6) -> rule6)) -> rule7) triple6) -> rule2)) -> rule4) triple7) -> rule1))] Fiona is round.[(((triple12 ((triple12 triple10) -> rule6)) -> rule7) OR ((triple12 ((triple12 ((triple9) -> rule5)) -> rule6)) -> rule7) OR ((triple12 ((triple12 ((((triple11) -> rule4)) -> rule5)) -> rule6)) -> rule7))]