Anne is cold. Anne is green. Anne is not quiet. Anne is round. Anne is smart. Bob is cold. Bob is green. Bob is not kind. Bob is quiet. Bob is round. Erin is kind. Erin is quiet. Erin is smart. Fiona is cold. Fiona is green. Fiona is rough. If Erin is smart and Erin is kind then Erin is green. All rough, green people are kind. All green people are cold.
Fiona is kind.
@0: Anne is cold.[(triple1 OR ((triple2) -> rule3))] Anne is green.[(triple2)] Anne is not quiet.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Bob is cold.[(triple6 OR ((triple7) -> rule3))] Bob is green.[(triple7)] Bob is not kind.[(triple8)] Bob is quiet.[(triple9)] Bob is round.[(triple10)] Erin is kind.[(triple11)] Erin is quiet.[(triple12)] Erin is smart.[(triple13)] Fiona is cold.[(triple14 OR ((triple15) -> rule3))] Fiona is green.[(triple15)] Fiona is rough.[(triple16)] @1: Erin is green.[(((triple13 triple11) -> rule1))] Fiona is kind.[(((triple16 triple15) -> rule2))] @2: Erin is cold.[(((((triple13 triple11) -> rule1)) -> rule3))]