Dave is blue. Dave is furry. Dave is smart. Dave is young. Erin is blue. Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is smart. Erin is young. Fiona is green. Fiona is young. Gary is green. Gary is red. Gary is smart. Red people are young. Nice, furry people are green. If someone is nice then they are young. All furry people are nice. All green people are red. All smart, furry people are blue.
Gary is red.
@0: Dave is blue.[(triple1 OR ((triple3 triple2) -> rule6))] Dave is furry.[(triple2)] Dave is smart.[(triple3)] Dave is young.[(triple4 OR ((((triple2) -> rule4)) -> rule3) OR ((((((((triple2) -> rule4) triple2) -> rule2)) -> rule5)) -> rule1))] Erin is blue.[(triple5 OR ((triple10 triple6) -> rule6))] Erin is furry.[(triple6)] Erin is green.[(triple7 OR ((triple8 triple6) -> rule2) OR ((((triple6) -> rule4) triple6) -> rule2))] Erin is nice.[(triple8 OR ((triple6) -> rule4))] Erin is red.[(triple9 OR ((triple7) -> rule5) OR ((((triple8 triple6) -> rule2)) -> rule5) OR ((((((triple6) -> rule4) triple6) -> rule2)) -> rule5))] Erin is smart.[(triple10)] Erin is young.[(triple11 OR ((triple8) -> rule3) OR ((triple9) -> rule1) OR ((((triple6) -> rule4)) -> rule3) OR ((((triple7) -> rule5)) -> rule1) OR ((((((triple8 triple6) -> rule2)) -> rule5)) -> rule1) OR ((((((((triple6) -> rule4) triple6) -> rule2)) -> rule5)) -> rule1))] Fiona is green.[(triple12)] Fiona is young.[(triple13 OR ((((triple12) -> rule5)) -> rule1))] Gary is green.[(triple14)] Gary is red.[(triple15 OR ((triple14) -> rule5))] Gary is smart.[(triple16)] @1: Dave is nice.[(((triple2) -> rule4))] Fiona is red.[(((triple12) -> rule5))] Gary is young.[(((triple15) -> rule1) OR ((((triple14) -> rule5)) -> rule1))] @2: Dave is green.[(((((triple2) -> rule4) triple2) -> rule2))] @3: Dave is red.[(((((((triple2) -> rule4) triple2) -> rule2)) -> rule5))]