Bob is cold. Bob is nice. Bob is quiet. Bob is rough. Bob is smart. Bob is white. Charlie is nice. Charlie is white. Fiona is big. Gary is cold. If something is cold then it is nice. All nice things are white.
Charlie is smart.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2 OR ((triple1) -> rule1))] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6 OR ((triple2) -> rule2) OR ((((triple1) -> rule1)) -> rule2))] Charlie is nice.[(triple7)] Charlie is white.[(triple8 OR ((triple7) -> rule2))] Fiona is big.[(triple9)] Gary is cold.[(triple10)] @1: Gary is nice.[(((triple10) -> rule1))] @2: Gary is white.[(((((triple10) -> rule1)) -> rule2))]