Anne is nice. Bob is not cold. Bob is kind. Bob is nice. Bob is smart. Charlie is cold. Charlie is nice. Charlie is red. Charlie is rough. Fiona is cold. Fiona is nice. Fiona is not red. If Fiona is rough and Fiona is not smart then Fiona is cold. If Fiona is nice and Fiona is red then Fiona is cold. If something is cold and red then it is rough. If something is smart then it is not rough. If something is cold then it is kind. All smart things are red. All rough things are nice. If something is red and not nice then it is round.
Bob is not kind.
@0: Anne is nice.[(triple1)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is not cold.[(triple2)] Bob is smart.[(triple5)] Charlie is cold.[(triple6)] Charlie is nice.[(triple7 OR ((triple9) -> rule7) OR ((((triple6 triple8) -> rule3)) -> rule7))] Charlie is red.[(triple8)] Charlie is rough.[(triple9 OR ((triple6 triple8) -> rule3))] Fiona is cold.[(triple10)] Fiona is nice.[(triple11)] Fiona is not red.[(triple12)] @1: Bob is not rough.[(((triple5) -> rule4))] Bob is red.[(((triple5) -> rule6))] Charlie is kind.[(((triple6) -> rule5))] Fiona is kind.[(((triple10) -> rule5))]