Bob is cold. Bob is nice. Bob is round. Bob is smart. Erin is blue. Erin is cold. Erin is kind. Erin is nice. Fiona is cold. Fiona is kind. Fiona is red. Fiona is round. Harry is nice. Harry is red. Harry is round. Smart things are kind. Nice things are smart. All red, kind things are cold.
Erin is not red.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Bob is round.[(triple3)] Bob is smart.[(triple4 OR ((triple2) -> rule2))] Erin is blue.[(triple5)] Erin is cold.[(triple6)] Erin is kind.[(triple7 OR ((((triple8) -> rule2)) -> rule1))] Erin is nice.[(triple8)] Fiona is cold.[(triple9 OR ((triple11 triple10) -> rule3))] Fiona is kind.[(triple10)] Fiona is red.[(triple11)] Fiona is round.[(triple12)] Harry is nice.[(triple13)] Harry is red.[(triple14)] Harry is round.[(triple15)] @1: Bob is kind.[(((triple4) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] Erin is smart.[(((triple8) -> rule2))] Harry is smart.[(((triple13) -> rule2))] @2: Harry is kind.[(((((triple13) -> rule2)) -> rule1))] @3: Harry is cold.[(((triple14 ((((triple13) -> rule2)) -> rule1)) -> rule3))]