Charlie is red. Dave is cold. Dave is quiet. Erin is blue. Erin is cold. Erin is nice. Erin is quiet. Erin is red. Gary is big. Gary is blue. Gary is cold. Gary is nice. Gary is quiet. Gary is red. Gary is smart. If someone is cold then they are red. All quiet people are nice. All red people are smart.
Gary is red.
@0: Charlie is red.[(triple1)] Dave is cold.[(triple2)] Dave is quiet.[(triple3)] Erin is blue.[(triple4)] Erin is cold.[(triple5)] Erin is nice.[(triple6 OR ((triple7) -> rule2))] Erin is quiet.[(triple7)] Erin is red.[(triple8 OR ((triple5) -> rule1))] Gary is big.[(triple9)] Gary is blue.[(triple10)] Gary is cold.[(triple11)] Gary is nice.[(triple12 OR ((triple13) -> rule2))] Gary is quiet.[(triple13)] Gary is red.[(triple14 OR ((triple11) -> rule1))] Gary is smart.[(triple15 OR ((triple14) -> rule3) OR ((((triple11) -> rule1)) -> rule3))] @1: Charlie is smart.[(((triple1) -> rule3))] Dave is nice.[(((triple3) -> rule2))] Dave is red.[(((triple2) -> rule1))] Erin is smart.[(((triple8) -> rule3) OR ((((triple5) -> rule1)) -> rule3))] @2: Dave is smart.[(((((triple2) -> rule1)) -> rule3))]