Charlie is cold. Charlie is green. Charlie is young. Dave is cold. Dave is green. Dave is smart. Erin is cold. Erin is green. Erin is not kind. Erin is not red. Erin is rough. Erin is young. Fiona is green. Fiona is kind. Fiona is not young. If Erin is young and Erin is kind then Erin is green. If Charlie is red then Charlie is rough. Kind people are cold. Green people are rough. If someone is rough and kind then they are red. If someone is kind and not young then they are smart. All green people are smart. If Dave is red and Dave is young then Dave is smart.
Charlie is not red.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is young.[(triple3)] Dave is cold.[(triple4)] Dave is green.[(triple5)] Dave is smart.[(triple6 OR ((triple5) -> rule7))] Erin is cold.[(triple7)] Erin is green.[(triple8)] Erin is not kind.[(triple9)] Erin is not red.[(triple10)] Erin is rough.[(triple11 OR ((triple8) -> rule4))] Erin is young.[(triple12)] Fiona is green.[(triple13)] Fiona is kind.[(triple14)] Fiona is not young.[(triple15)] @1: Charlie is rough.[(((triple2) -> rule4))] Charlie is smart.[(((triple2) -> rule7))] Dave is rough.[(((triple5) -> rule4))] Erin is smart.[(((triple8) -> rule7))] Fiona is cold.[(((triple14) -> rule3))] Fiona is rough.[(((triple13) -> rule4))] Fiona is smart.[(((triple13) -> rule7) OR ((triple14 triple15) -> rule6))] @2: Fiona is red.[(((((triple13) -> rule4) triple14) -> rule5))]