Bob is cold. Dave is kind. Erin is cold. Gary is cold. If something is red and cold then it is big. All round things are cold. If Bob is kind and Bob is not rough then Bob is furry. If something is furry and rough then it is kind. If something is red and not big then it is kind. Rough things are kind.
Erin is cold.
@0: Bob is cold.[(triple1)] Dave is kind.[(triple2)] Erin is cold.[(triple3)] Gary is cold.[(triple4)]