Charlie is big. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is smart. Fiona is big. Fiona is kind. Fiona is smart. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is kind. Harry is quiet. Harry is smart. All cold people are quiet. Furry, smart people are big. If someone is big then they are kind. Cold people are quiet. All quiet, furry people are smart. All kind, quiet people are big.
Charlie is not kind.
@0: Charlie is big.[(triple1 OR ((triple3 triple6) -> rule2) OR ((triple4 triple5) -> rule6) OR ((triple3 ((triple5 triple3) -> rule5)) -> rule2) OR ((triple4 ((triple2) -> rule1)) -> rule6) OR ((triple4 ((triple2) -> rule4)) -> rule6) OR ((triple3 ((((triple2) -> rule1) triple3) -> rule5)) -> rule2) OR ((triple3 ((((triple2) -> rule4) triple3) -> rule5)) -> rule2))] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4 OR ((triple1) -> rule3) OR ((((triple3 triple6) -> rule2)) -> rule3) OR ((((triple3 ((triple5 triple3) -> rule5)) -> rule2)) -> rule3) OR ((((triple3 ((((triple2) -> rule1) triple3) -> rule5)) -> rule2)) -> rule3) OR ((((triple3 ((((triple2) -> rule4) triple3) -> rule5)) -> rule2)) -> rule3))] Charlie is quiet.[(triple5 OR ((triple2) -> rule1) OR ((triple2) -> rule4))] Charlie is smart.[(triple6 OR ((triple5 triple3) -> rule5) OR ((((triple2) -> rule1) triple3) -> rule5) OR ((((triple2) -> rule4) triple3) -> rule5))] Fiona is big.[(triple7)] Fiona is kind.[(triple8 OR ((triple7) -> rule3))] Fiona is smart.[(triple9)] Harry is big.[(triple10 OR ((triple13 triple16) -> rule2) OR ((triple14 triple15) -> rule6) OR ((triple13 ((triple15 triple13) -> rule5)) -> rule2) OR ((triple14 ((triple12) -> rule1)) -> rule6) OR ((triple14 ((triple12) -> rule4)) -> rule6) OR ((triple13 ((((triple12) -> rule1) triple13) -> rule5)) -> rule2) OR ((triple13 ((((triple12) -> rule4) triple13) -> rule5)) -> rule2))] Harry is blue.[(triple11)] Harry is cold.[(triple12)] Harry is furry.[(triple13)] Harry is kind.[(triple14 OR ((triple10) -> rule3) OR ((((triple13 triple16) -> rule2)) -> rule3) OR ((((triple13 ((triple15 triple13) -> rule5)) -> rule2)) -> rule3) OR ((((triple13 ((((triple12) -> rule1) triple13) -> rule5)) -> rule2)) -> rule3) OR ((((triple13 ((((triple12) -> rule4) triple13) -> rule5)) -> rule2)) -> rule3))] Harry is quiet.[(triple15 OR ((triple12) -> rule1) OR ((triple12) -> rule4))] Harry is smart.[(triple16 OR ((triple15 triple13) -> rule5) OR ((((triple12) -> rule1) triple13) -> rule5) OR ((((triple12) -> rule4) triple13) -> rule5))]