Charlie is cold. Charlie is quiet. Charlie is young. Erin is cold. Erin is green. Erin is kind. Erin is round. Erin is young. Fiona is big. Fiona is round. Harry is green. Harry is kind. All cold, kind people are quiet. All quiet, big people are young. Green people are young. If Erin is young then Erin is cold. If someone is cold then they are big. All kind, round people are green. All big people are kind. Young people are cold.
Harry is big.
@0: Charlie is cold.[(triple1 OR ((triple3) -> rule8))] Charlie is quiet.[(triple2 OR ((triple1 ((((triple1) -> rule5)) -> rule7)) -> rule1) OR ((((triple3) -> rule8) ((((triple1) -> rule5)) -> rule7)) -> rule1) OR ((triple1 ((((((triple3) -> rule8)) -> rule5)) -> rule7)) -> rule1) OR ((((triple3) -> rule8) ((((((triple3) -> rule8)) -> rule5)) -> rule7)) -> rule1))] Charlie is young.[(triple3 OR ((triple2 ((triple1) -> rule5)) -> rule2) OR ((((triple1 ((((triple1) -> rule5)) -> rule7)) -> rule1) ((triple1) -> rule5)) -> rule2))] Erin is cold.[(triple4 OR ((triple8) -> rule4) OR ((triple8) -> rule8) OR ((((triple5) -> rule3)) -> rule4) OR ((((triple5) -> rule3)) -> rule8) OR ((((((triple6 triple7) -> rule6)) -> rule3)) -> rule4) OR ((((((triple6 triple7) -> rule6)) -> rule3)) -> rule8))] Erin is green.[(triple5 OR ((triple6 triple7) -> rule6) OR ((((((triple4) -> rule5)) -> rule7) triple7) -> rule6) OR ((((((((triple8) -> rule4)) -> rule5)) -> rule7) triple7) -> rule6) OR ((((((((triple8) -> rule8)) -> rule5)) -> rule7) triple7) -> rule6))] Erin is kind.[(triple6 OR ((((triple4) -> rule5)) -> rule7) OR ((((((triple8) -> rule4)) -> rule5)) -> rule7) OR ((((((triple8) -> rule8)) -> rule5)) -> rule7) OR ((((((((triple5) -> rule3)) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple5) -> rule3)) -> rule8)) -> rule5)) -> rule7))] Erin is round.[(triple7)] Erin is young.[(triple8 OR ((triple5) -> rule3) OR ((((triple6 triple7) -> rule6)) -> rule3) OR ((((triple4 triple6) -> rule1) ((triple4) -> rule5)) -> rule2) OR ((((((((triple4) -> rule5)) -> rule7) triple7) -> rule6)) -> rule3) OR ((((triple4 ((((triple4) -> rule5)) -> rule7)) -> rule1) ((triple4) -> rule5)) -> rule2))] Fiona is big.[(triple9)] Fiona is round.[(triple10)] Harry is green.[(triple11)] Harry is kind.[(triple12 OR ((((((((triple11) -> rule3)) -> rule8)) -> rule5)) -> rule7))] @1: Charlie is big.[(((triple1) -> rule5) OR ((((triple3) -> rule8)) -> rule5))] Erin is big.[(((triple4) -> rule5) OR ((((triple8) -> rule4)) -> rule5) OR ((((triple8) -> rule8)) -> rule5) OR ((((((triple5) -> rule3)) -> rule4)) -> rule5) OR ((((((triple5) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple6 triple7) -> rule6)) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple6 triple7) -> rule6)) -> rule3)) -> rule8)) -> rule5))] Erin is quiet.[(((triple4 triple6) -> rule1) OR ((((triple8) -> rule4) triple6) -> rule1) OR ((((triple8) -> rule8) triple6) -> rule1) OR ((triple4 ((((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple5) -> rule3)) -> rule4) triple6) -> rule1) OR ((((((triple5) -> rule3)) -> rule8) triple6) -> rule1) OR ((((triple8) -> rule4) ((((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((triple8) -> rule8) ((((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple5) -> rule3)) -> rule4) ((((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((triple5) -> rule3)) -> rule8) ((((triple4) -> rule5)) -> rule7)) -> rule1) OR ((triple4 ((((((triple8) -> rule4)) -> rule5)) -> rule7)) -> rule1) OR ((triple4 ((((((triple8) -> rule8)) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple6 triple7) -> rule6)) -> rule3)) -> rule4) triple6) -> rule1) OR ((((((((triple6 triple7) -> rule6)) -> rule3)) -> rule8) triple6) -> rule1) OR ((((triple8) -> rule4) ((((((triple8) -> rule4)) -> rule5)) -> rule7)) -> rule1) OR ((((triple8) -> rule4) ((((((triple8) -> rule8)) -> rule5)) -> rule7)) -> rule1) OR ((((triple8) -> rule8) ((((((triple8) -> rule4)) -> rule5)) -> rule7)) -> rule1) OR ((((triple8) -> rule8) ((((((triple8) -> rule8)) -> rule5)) -> rule7)) -> rule1) OR ((((((triple5) -> rule3)) -> rule4) ((((((triple8) -> rule4)) -> rule5)) -> rule7)) -> rule1) OR ((((((triple5) -> rule3)) -> rule4) ((((((triple8) -> rule8)) -> rule5)) -> rule7)) -> rule1) OR ((((((triple5) -> rule3)) -> rule8) ((((((triple8) -> rule4)) -> rule5)) -> rule7)) -> rule1) OR ((((((triple5) -> rule3)) -> rule8) ((((((triple8) -> rule8)) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple6 triple7) -> rule6)) -> rule3)) -> rule4) ((((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple6 triple7) -> rule6)) -> rule3)) -> rule8) ((((triple4) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple6 triple7) -> rule6)) -> rule3)) -> rule4) ((((((triple8) -> rule4)) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple6 triple7) -> rule6)) -> rule3)) -> rule4) ((((((triple8) -> rule8)) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple6 triple7) -> rule6)) -> rule3)) -> rule8) ((((((triple8) -> rule4)) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple6 triple7) -> rule6)) -> rule3)) -> rule8) ((((((triple8) -> rule8)) -> rule5)) -> rule7)) -> rule1) OR ((triple4 ((((((((triple5) -> rule3)) -> rule4)) -> rule5)) -> rule7)) -> rule1) OR ((triple4 ((((((((triple5) -> rule3)) -> rule8)) -> rule5)) -> rule7)) -> rule1) OR ((((triple8) -> rule4) ((((((((triple5) -> rule3)) -> rule4)) -> rule5)) -> rule7)) -> rule1) OR ((((triple8) -> rule4) ((((((((triple5) -> rule3)) -> rule8)) -> rule5)) -> rule7)) -> rule1) OR ((((triple8) -> rule8) ((((((((triple5) -> rule3)) -> rule4)) -> rule5)) -> rule7)) -> rule1) OR ((((triple8) -> rule8) ((((((((triple5) -> rule3)) -> rule8)) -> rule5)) -> rule7)) -> rule1) OR ((((((triple5) -> rule3)) -> rule4) ((((((((triple5) -> rule3)) -> rule4)) -> rule5)) -> rule7)) -> rule1) OR ((((((triple5) -> rule3)) -> rule4) ((((((((triple5) -> rule3)) -> rule8)) -> rule5)) -> rule7)) -> rule1) OR ((((((triple5) -> rule3)) -> rule8) ((((((((triple5) -> rule3)) -> rule4)) -> rule5)) -> rule7)) -> rule1) OR ((((((triple5) -> rule3)) -> rule8) ((((((((triple5) -> rule3)) -> rule8)) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple6 triple7) -> rule6)) -> rule3)) -> rule4) ((((((((triple5) -> rule3)) -> rule4)) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple6 triple7) -> rule6)) -> rule3)) -> rule4) ((((((((triple5) -> rule3)) -> rule8)) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple6 triple7) -> rule6)) -> rule3)) -> rule8) ((((((((triple5) -> rule3)) -> rule4)) -> rule5)) -> rule7)) -> rule1) OR ((((((((triple6 triple7) -> rule6)) -> rule3)) -> rule8) ((((((((triple5) -> rule3)) -> rule8)) -> rule5)) -> rule7)) -> rule1))] Fiona is kind.[(((triple9) -> rule7))] Harry is young.[(((triple11) -> rule3))] @2: Charlie is kind.[(((((triple1) -> rule5)) -> rule7) OR ((((((triple3) -> rule8)) -> rule5)) -> rule7))] Fiona is green.[(((((triple9) -> rule7) triple10) -> rule6))] Harry is cold.[(((((triple11) -> rule3)) -> rule8))] @3: Fiona is young.[(((((((triple9) -> rule7) triple10) -> rule6)) -> rule3))] Harry is big.[(((((((triple11) -> rule3)) -> rule8)) -> rule5))] Harry is quiet.[(((((((triple11) -> rule3)) -> rule8) triple12) -> rule1) OR ((((((triple11) -> rule3)) -> rule8) ((((((((triple11) -> rule3)) -> rule8)) -> rule5)) -> rule7)) -> rule1))] @4: Fiona is cold.[(((((((((triple9) -> rule7) triple10) -> rule6)) -> rule3)) -> rule8))] @5: Fiona is quiet.[(((((((((((triple9) -> rule7) triple10) -> rule6)) -> rule3)) -> rule8) ((triple9) -> rule7)) -> rule1))]