Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is red. Charlie is green. Charlie is nice. Charlie is smart. Fiona is green. Fiona is kind. Fiona is nice. Fiona is smart. Smart things are green. If Fiona is quiet then Fiona is red.
Fiona is not red.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is red.[(triple5)] Charlie is green.[(triple6 OR ((triple8) -> rule1))] Charlie is nice.[(triple7)] Charlie is smart.[(triple8)] Fiona is green.[(triple9 OR ((triple12) -> rule1))] Fiona is kind.[(triple10)] Fiona is nice.[(triple11)] Fiona is smart.[(triple12)]