Anne is big. Anne is not cold. Anne is red. Dave is not furry. Dave is red. Erin is furry. Erin is kind. Gary is cold. Gary is furry. Gary is not round. All furry people are smart. All furry, round people are big. All round people are big. If someone is smart then they are cold. If someone is round and cold then they are not kind. Cold, furry people are red.
Anne is kind.
@0: Anne is big.[(triple1)] Anne is not cold.[(triple2)] Anne is red.[(triple3)] Dave is not furry.[(triple4)] Dave is red.[(triple5)] Erin is furry.[(triple6)] Erin is kind.[(triple7)] Gary is cold.[(triple8 OR ((((triple9) -> rule1)) -> rule4))] Gary is furry.[(triple9)] Gary is not round.[(triple10)] @1: Erin is smart.[(((triple6) -> rule1))] Gary is red.[(((triple8 triple9) -> rule6) OR ((((((triple9) -> rule1)) -> rule4) triple9) -> rule6))] Gary is smart.[(((triple9) -> rule1))] @2: Erin is cold.[(((((triple6) -> rule1)) -> rule4))] @3: Erin is red.[(((((((triple6) -> rule1)) -> rule4) triple6) -> rule6))]