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