Bob is blue. Bob is cold. Bob is nice. Bob is red. Bob is rough. Bob is smart. Fiona is cold. Fiona is nice. Fiona is red. Fiona is rough. Fiona is smart. Gary is blue. Gary is cold. Gary is nice. Gary is red. Gary is smart. If something is red then it is furry. All blue things are red.
Bob is blue.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4 OR ((triple1) -> rule2))] Bob is rough.[(triple5)] Bob is smart.[(triple6)] Fiona is cold.[(triple7)] Fiona is nice.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10)] Fiona is smart.[(triple11)] Gary is blue.[(triple12)] Gary is cold.[(triple13)] Gary is nice.[(triple14)] Gary is red.[(triple15 OR ((triple12) -> rule2))] Gary is smart.[(triple16)] @1: Bob is furry.[(((triple4) -> rule1) OR ((((triple1) -> rule2)) -> rule1))] Fiona is furry.[(((triple9) -> rule1))] Gary is furry.[(((triple15) -> rule1) OR ((((triple12) -> rule2)) -> rule1))]