Bob is smart. Charlie is kind. Charlie is not smart. Fiona is blue. Fiona is rough. Fiona is smart. Gary is kind. All cold, quiet people are smart. If someone is cold then they are smart. If someone is red and kind then they are smart. If someone is quiet then they are blue. If someone is blue then they are quiet. If someone is kind then they are rough. If Gary is kind and Gary is rough then Gary is quiet. All blue, smart people are red. Blue, rough people are red.
Fiona is red.
@0: Bob is smart.[(triple1)] Charlie is kind.[(triple2)] Charlie is not smart.[(triple3)] Fiona is blue.[(triple4)] Fiona is rough.[(triple5)] Fiona is smart.[(triple6)] Gary is kind.[(triple7)] @1: Charlie is rough.[(((triple2) -> rule6))] Fiona is quiet.[(((triple4) -> rule5))] Fiona is red.[(((triple4 triple5) -> rule9) OR ((triple4 triple6) -> rule8))] Gary is rough.[(((triple7) -> rule6))] @2: Gary is quiet.[(((triple7 ((triple7) -> rule6)) -> rule7))] @3: Gary is blue.[(((((triple7 ((triple7) -> rule6)) -> rule7)) -> rule4))] @4: Gary is red.[(((((((triple7 ((triple7) -> rule6)) -> rule7)) -> rule4) ((triple7) -> rule6)) -> rule9))] @5: Gary is smart.[(((((((((triple7 ((triple7) -> rule6)) -> rule7)) -> rule4) ((triple7) -> rule6)) -> rule9) triple7) -> rule3))]