Bob is blue. Bob is green. Bob is kind. Bob is smart. Bob is white. Fiona is green. Fiona is nice. Fiona is quiet. Gary is blue. Gary is nice. Gary is quiet. Gary is white. All quiet things are smart.
Fiona is blue.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is smart.[(triple4)] Bob is white.[(triple5)] Fiona is green.[(triple6)] Fiona is nice.[(triple7)] Fiona is quiet.[(triple8)] Gary is blue.[(triple9)] Gary is nice.[(triple10)] Gary is quiet.[(triple11)] Gary is white.[(triple12)] @1: Fiona is smart.[(((triple8) -> rule1))] Gary is smart.[(((triple11) -> rule1))]