Bob is blue. Bob is furry. Bob is green. Bob is red. Bob is smart. Bob is young. Charlie is cold. Charlie is smart. Charlie is young. Fiona is blue. Fiona is red. Fiona is smart. All cold, young people are red. Smart, blue people are furry. All red people are blue. If Fiona is young then Fiona is red. All red people are smart. All green, furry people are blue.
Fiona is not blue.
@0: Bob is blue.[(triple1 OR ((triple4) -> rule3) OR ((triple3 triple2) -> rule6))] Bob is furry.[(triple2 OR ((triple5 triple1) -> rule2) OR ((triple5 ((triple4) -> rule3)) -> rule2) OR ((((triple4) -> rule5) triple1) -> rule2) OR ((((triple4) -> rule5) ((triple4) -> rule3)) -> rule2))] Bob is green.[(triple3)] Bob is red.[(triple4)] Bob is smart.[(triple5 OR ((triple4) -> rule5))] Bob is young.[(triple6)] Charlie is cold.[(triple7)] Charlie is smart.[(triple8 OR ((((triple7 triple9) -> rule1)) -> rule5))] Charlie is young.[(triple9)] Fiona is blue.[(triple10 OR ((triple11) -> rule3))] Fiona is red.[(triple11)] Fiona is smart.[(triple12 OR ((triple11) -> rule5))] @1: Charlie is red.[(((triple7 triple9) -> rule1))] Fiona is furry.[(((triple12 triple10) -> rule2) OR ((triple12 ((triple11) -> rule3)) -> rule2) OR ((((triple11) -> rule5) triple10) -> rule2) OR ((((triple11) -> rule5) ((triple11) -> rule3)) -> rule2))] @2: Charlie is blue.[(((((triple7 triple9) -> rule1)) -> rule3))] @3: Charlie is furry.[(((triple8 ((((triple7 triple9) -> rule1)) -> rule3)) -> rule2) OR ((((((triple7 triple9) -> rule1)) -> rule5) ((((triple7 triple9) -> rule1)) -> rule3)) -> rule2))]