Anne is blue. Anne is furry. Anne is kind. Anne is rough. Bob is blue. Bob is cold. Bob is kind. Bob is nice. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is red. Fiona is blue. Fiona is red. Fiona is rough. If Bob is red then Bob is kind. If something is blue then it is rough. Kind things are rough. Furry things are blue. Furry, blue things are cold. Blue, furry things are rough. Kind things are blue. Kind things are red.
Fiona is not cold.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule4) OR ((triple3) -> rule7))] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is rough.[(triple4 OR ((triple1) -> rule2) OR ((triple3) -> rule3) OR ((triple1 triple2) -> rule6) OR ((((triple2) -> rule4)) -> rule2) OR ((((triple3) -> rule7)) -> rule2) OR ((((triple2) -> rule4) triple2) -> rule6) OR ((((triple3) -> rule7) triple2) -> rule6))] Bob is blue.[(triple5 OR ((triple7) -> rule7))] Bob is cold.[(triple6)] Bob is kind.[(triple7)] Bob is nice.[(triple8)] Charlie is blue.[(triple9 OR ((triple11) -> rule7))] Charlie is cold.[(triple10)] Charlie is kind.[(triple11)] Charlie is nice.[(triple12)] Charlie is red.[(triple13 OR ((triple11) -> rule8))] Fiona is blue.[(triple14)] Fiona is red.[(triple15)] Fiona is rough.[(triple16 OR ((triple14) -> rule2))] @1: Anne is cold.[(((triple2 triple1) -> rule5) OR ((triple2 ((triple2) -> rule4)) -> rule5) OR ((triple2 ((triple3) -> rule7)) -> rule5))] Anne is red.[(((triple3) -> rule8))] Bob is red.[(((triple7) -> rule8))] Bob is rough.[(((triple5) -> rule2) OR ((triple7) -> rule3) OR ((((triple7) -> rule7)) -> rule2))] Charlie is rough.[(((triple11) -> rule3) OR ((triple9) -> rule2) OR ((((triple11) -> rule7)) -> rule2))]