Bob is smart. Fiona is nice. Gary is smart. If something is nice then it is white. If something is smart then it is nice. If Gary is red and Gary is smart then Gary is white. All nice, smart things are white. If something is red then it is cold. If Gary is smart then Gary is cold. If something is white then it is rough. If something is white then it is smart.
Fiona is not cold.
@0: Bob is smart.[(triple1)] Fiona is nice.[(triple2)] Gary is smart.[(triple3)] @1: Bob is nice.[(((triple1) -> rule2))] Fiona is white.[(((triple2) -> rule1))] Gary is cold.[(((triple3) -> rule6))] Gary is nice.[(((triple3) -> rule2))] @2: Bob is white.[(((((triple1) -> rule2)) -> rule1) OR ((((triple1) -> rule2) triple1) -> rule4))] Fiona is rough.[(((((triple2) -> rule1)) -> rule7))] Fiona is smart.[(((((triple2) -> rule1)) -> rule8))] Gary is white.[(((((triple3) -> rule2)) -> rule1) OR ((((triple3) -> rule2) triple3) -> rule4))] @3: Bob is rough.[(((((((triple1) -> rule2)) -> rule1)) -> rule7) OR ((((((triple1) -> rule2) triple1) -> rule4)) -> rule7))] Gary is rough.[(((((((triple3) -> rule2)) -> rule1)) -> rule7) OR ((((((triple3) -> rule2) triple3) -> rule4)) -> rule7))]