Charlie is cold. Charlie is furry. Charlie is kind. Charlie is red. Charlie is white. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is red. Fiona is white. All smart, blue people are furry. Red, furry people are blue. All furry, kind people are white. If someone is red and white then they are blue. White people are red. All cold, furry people are smart.
Fiona is cold.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is red.[(triple4 OR ((triple5) -> rule5) OR ((((triple2 triple3) -> rule3)) -> rule5))] Charlie is white.[(triple5 OR ((triple2 triple3) -> rule3))] Fiona is blue.[(triple6 OR ((triple9 triple10) -> rule4) OR ((triple9 triple7) -> rule2) OR ((triple9 ((triple7 triple8) -> rule3)) -> rule4) OR ((((triple10) -> rule5) triple10) -> rule4) OR ((((triple10) -> rule5) triple7) -> rule2) OR ((((triple10) -> rule5) ((triple7 triple8) -> rule3)) -> rule4) OR ((((((triple7 triple8) -> rule3)) -> rule5) triple10) -> rule4) OR ((((((triple7 triple8) -> rule3)) -> rule5) triple7) -> rule2) OR ((((((triple7 triple8) -> rule3)) -> rule5) ((triple7 triple8) -> rule3)) -> rule4))] Fiona is furry.[(triple7)] Fiona is kind.[(triple8)] Fiona is red.[(triple9 OR ((triple10) -> rule5) OR ((((triple7 triple8) -> rule3)) -> rule5))] Fiona is white.[(triple10 OR ((triple7 triple8) -> rule3))] @1: Charlie is blue.[(((triple4 triple2) -> rule2) OR ((triple4 triple5) -> rule4) OR ((triple4 ((triple2 triple3) -> rule3)) -> rule4) OR ((((triple5) -> rule5) triple2) -> rule2) OR ((((triple5) -> rule5) triple5) -> rule4) OR ((((triple5) -> rule5) ((triple2 triple3) -> rule3)) -> rule4) OR ((((((triple2 triple3) -> rule3)) -> rule5) triple2) -> rule2) OR ((((((triple2 triple3) -> rule3)) -> rule5) triple5) -> rule4) OR ((((((triple2 triple3) -> rule3)) -> rule5) ((triple2 triple3) -> rule3)) -> rule4))] Charlie is smart.[(((triple1 triple2) -> rule6))]