Dave is furry. Dave is smart. Erin is blue. Erin is smart. Fiona is blue. Fiona is green. Fiona is red. Gary is green. Gary is nice. Gary is red. If Gary is smart and Gary is furry then Gary is nice. If someone is green and blue then they are smart. Red people are kind. Green people are red. Red, smart people are nice. If someone is furry and green then they are nice. Smart people are blue. If Gary is blue then Gary is green.
Fiona is not red.
@0: Dave is furry.[(triple1)] Dave is smart.[(triple2)] Erin is blue.[(triple3 OR ((triple4) -> rule7))] Erin is smart.[(triple4)] Fiona is blue.[(triple5)] Fiona is green.[(triple6)] Fiona is red.[(triple7 OR ((triple6) -> rule4))] Gary is green.[(triple8)] Gary is nice.[(triple9)] Gary is red.[(triple10 OR ((triple8) -> rule4))] @1: Dave is blue.[(((triple2) -> rule7))] Fiona is kind.[(((triple7) -> rule3) OR ((((triple6) -> rule4)) -> rule3))] Fiona is smart.[(((triple6 triple5) -> rule2))] Gary is kind.[(((triple10) -> rule3) OR ((((triple8) -> rule4)) -> rule3))] @2: Fiona is nice.[(((triple7 ((triple6 triple5) -> rule2)) -> rule5) OR ((((triple6) -> rule4) ((triple6 triple5) -> rule2)) -> rule5))]