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