Anne is furry. Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is white. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is rough. Fiona is white. Gary is cold. Gary is rough. All quiet people are rough. All rough people are green. All rough people are quiet. All blue people are furry. All blue people are cold. If Gary is rough and Gary is cold then Gary is white. All green, blue people are cold. If Fiona is green and Fiona is quiet then Fiona is cold.
Anne is not cold.
@0: Anne is furry.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4 OR ((((triple5) -> rule1)) -> rule2))] Bob is quiet.[(triple5)] Bob is white.[(triple6)] Fiona is blue.[(triple7)] Fiona is cold.[(triple8 OR ((triple7) -> rule5) OR ((triple10 triple11) -> rule8) OR ((triple10 triple7) -> rule7) OR ((triple10 ((triple12) -> rule3)) -> rule8) OR ((((triple12) -> rule2) triple11) -> rule8) OR ((((triple12) -> rule2) triple7) -> rule7) OR ((((triple12) -> rule2) ((triple12) -> rule3)) -> rule8) OR ((((((triple11) -> rule1)) -> rule2) triple11) -> rule8) OR ((((((triple11) -> rule1)) -> rule2) triple7) -> rule7) OR ((((((triple11) -> rule1)) -> rule2) ((triple12) -> rule3)) -> rule8))] Fiona is furry.[(triple9 OR ((triple7) -> rule4))] Fiona is green.[(triple10 OR ((triple12) -> rule2) OR ((((triple11) -> rule1)) -> rule2))] Fiona is quiet.[(triple11 OR ((triple12) -> rule3))] Fiona is rough.[(triple12 OR ((triple11) -> rule1))] Fiona is white.[(triple13)] Gary is cold.[(triple14)] Gary is rough.[(triple15)] @1: Bob is rough.[(((triple5) -> rule1))] Gary is green.[(((triple15) -> rule2))] Gary is quiet.[(((triple15) -> rule3))] Gary is white.[(((triple15 triple14) -> rule6))]