Bob is nice. Bob is rough. Charlie is cold. Charlie is rough. Fiona is green. Fiona is red. Fiona is rough. Fiona is smart. Gary is cold. Gary is furry. Gary is green. Gary is rough. Rough people are smart. All smart, nice people are furry. All nice, furry people are cold.
Bob is not red.
@0: Bob is nice.[(triple1)] Bob is rough.[(triple2)] Charlie is cold.[(triple3)] Charlie is rough.[(triple4)] Fiona is green.[(triple5)] Fiona is red.[(triple6)] Fiona is rough.[(triple7)] Fiona is smart.[(triple8 OR ((triple7) -> rule1))] Gary is cold.[(triple9)] Gary is furry.[(triple10)] Gary is green.[(triple11)] Gary is rough.[(triple12)] @1: Bob is smart.[(((triple2) -> rule1))] Charlie is smart.[(((triple4) -> rule1))] Gary is smart.[(((triple12) -> rule1))] @2: Bob is furry.[(((((triple2) -> rule1) triple1) -> rule2))] @3: Bob is cold.[(((triple1 ((((triple2) -> rule1) triple1) -> rule2)) -> rule3))]