Dave is round. Fiona is blue. Fiona is furry. Fiona is smart. Gary is blue. Gary is furry. Gary is kind. Gary is nice. Gary is round. Gary is young. All blue people are furry. All round people are furry. All young, furry people are kind. Furry people are young. If someone is kind and not nice then they are smart. All nice people are blue.
Dave is not smart.
@0: Dave is round.[(triple1)] Fiona is blue.[(triple2)] Fiona is furry.[(triple3 OR ((triple2) -> rule1))] Fiona is smart.[(triple4)] Gary is blue.[(triple5 OR ((triple8) -> rule6))] Gary is furry.[(triple6 OR ((triple5) -> rule1) OR ((triple9) -> rule2) OR ((((triple8) -> rule6)) -> rule1))] Gary is kind.[(triple7 OR ((triple10 triple6) -> rule3) OR ((triple10 ((triple5) -> rule1)) -> rule3) OR ((triple10 ((triple9) -> rule2)) -> rule3) OR ((((triple6) -> rule4) triple6) -> rule3) OR ((((triple6) -> rule4) ((triple5) -> rule1)) -> rule3) OR ((((triple6) -> rule4) ((triple9) -> rule2)) -> rule3) OR ((triple10 ((((triple8) -> rule6)) -> rule1)) -> rule3) OR ((((((triple5) -> rule1)) -> rule4) triple6) -> rule3) OR ((((((triple9) -> rule2)) -> rule4) triple6) -> rule3) OR ((((triple6) -> rule4) ((((triple8) -> rule6)) -> rule1)) -> rule3) OR ((((((triple5) -> rule1)) -> rule4) ((triple5) -> rule1)) -> rule3) OR ((((((triple5) -> rule1)) -> rule4) ((triple9) -> rule2)) -> rule3) OR ((((((triple9) -> rule2)) -> rule4) ((triple5) -> rule1)) -> rule3) OR ((((((triple9) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule3) OR ((((((triple5) -> rule1)) -> rule4) ((((triple8) -> rule6)) -> rule1)) -> rule3) OR ((((((triple9) -> rule2)) -> rule4) ((((triple8) -> rule6)) -> rule1)) -> rule3) OR ((((((((triple8) -> rule6)) -> rule1)) -> rule4) triple6) -> rule3) OR ((((((((triple8) -> rule6)) -> rule1)) -> rule4) ((triple5) -> rule1)) -> rule3) OR ((((((((triple8) -> rule6)) -> rule1)) -> rule4) ((triple9) -> rule2)) -> rule3) OR ((((((((triple8) -> rule6)) -> rule1)) -> rule4) ((((triple8) -> rule6)) -> rule1)) -> rule3))] Gary is nice.[(triple8)] Gary is round.[(triple9)] Gary is young.[(triple10 OR ((triple6) -> rule4) OR ((((triple5) -> rule1)) -> rule4) OR ((((triple9) -> rule2)) -> rule4) OR ((((((triple8) -> rule6)) -> rule1)) -> rule4))] @1: Dave is furry.[(((triple1) -> rule2))] Fiona is young.[(((triple3) -> rule4) OR ((((triple2) -> rule1)) -> rule4))] @2: Dave is young.[(((((triple1) -> rule2)) -> rule4))] Fiona is kind.[(((((triple3) -> rule4) triple3) -> rule3) OR ((((triple3) -> rule4) ((triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule1)) -> rule4) triple3) -> rule3) OR ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule3))] @3: Dave is kind.[(((((((triple1) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule3))]