Bob is green. Bob is kind. Bob is quiet. Bob is red. Erin is blue. Erin is kind. Fiona is blue. Fiona is nice. Fiona is red. Gary is not green. If something is kind and red then it is smart.
Bob is not smart.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Erin is blue.[(triple5)] Erin is kind.[(triple6)] Fiona is blue.[(triple7)] Fiona is nice.[(triple8)] Fiona is red.[(triple9)] Gary is not green.[(triple10)] @1: Bob is smart.[(((triple2 triple4) -> rule1))]