Anne is big. Anne is cold. Anne is kind. Anne is red. Anne is white. Bob is big. Bob is kind. Bob is red. Bob is white. Fiona is big. Fiona is blue. Fiona is kind. Fiona is red. Gary is not blue. Gary is not cold. Gary is not red. If Fiona is not big then Fiona is blue. If Bob is big then Bob is white. If Anne is not kind then Anne is white. Red things are cold. If Bob is not white then Bob is cold. If something is cold and not kind then it is red. All white things are red. All white things are red.
Gary is kind.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple4) -> rule4) OR ((((triple5) -> rule7)) -> rule4) OR ((((triple5) -> rule8)) -> rule4))] Anne is kind.[(triple3)] Anne is red.[(triple4 OR ((triple5) -> rule7) OR ((triple5) -> rule8))] Anne is white.[(triple5)] Bob is big.[(triple6)] Bob is kind.[(triple7)] Bob is red.[(triple8 OR ((triple9) -> rule7) OR ((triple9) -> rule8) OR ((((triple6) -> rule2)) -> rule7) OR ((((triple6) -> rule2)) -> rule8))] Bob is white.[(triple9 OR ((triple6) -> rule2))] Fiona is big.[(triple10)] Fiona is blue.[(triple11)] Fiona is kind.[(triple12)] Fiona is red.[(triple13)] Gary is not blue.[(triple14)] Gary is not cold.[(triple15)] Gary is not red.[(triple16)] @1: Bob is cold.[(((triple8) -> rule4) OR ((((triple9) -> rule7)) -> rule4) OR ((((triple9) -> rule8)) -> rule4) OR ((((((triple6) -> rule2)) -> rule7)) -> rule4) OR ((((((triple6) -> rule2)) -> rule8)) -> rule4))] Fiona is cold.[(((triple13) -> rule4))]