Charlie is furry. Charlie is nice. Charlie is round. Fiona is furry. Fiona is white. Gary is blue. Gary is white. If someone is smart and nice then they are furry. Smart people are furry. All nice, furry people are white. If someone is nice then they are blue. If someone is round and nice then they are furry. Blue, furry people are white. All white, blue people are red. Red people are smart.
Fiona is white.
@0: Charlie is furry.[(triple1 OR ((triple3 triple2) -> rule5))] Charlie is nice.[(triple2)] Charlie is round.[(triple3)] Fiona is furry.[(triple4)] Fiona is white.[(triple5)] Gary is blue.[(triple6)] Gary is white.[(triple7)] @1: Charlie is blue.[(((triple2) -> rule4))] Charlie is white.[(((triple2 triple1) -> rule3) OR ((triple2 ((triple3 triple2) -> rule5)) -> rule3) OR ((((triple2) -> rule4) triple1) -> rule6) OR ((((triple2) -> rule4) ((triple3 triple2) -> rule5)) -> rule6))] Gary is red.[(((triple7 triple6) -> rule7))] @2: Charlie is red.[(((((triple2 triple1) -> rule3) ((triple2) -> rule4)) -> rule7) OR ((((triple2 ((triple3 triple2) -> rule5)) -> rule3) ((triple2) -> rule4)) -> rule7) OR ((((((triple2) -> rule4) triple1) -> rule6) ((triple2) -> rule4)) -> rule7) OR ((((((triple2) -> rule4) ((triple3 triple2) -> rule5)) -> rule6) ((triple2) -> rule4)) -> rule7))] Gary is smart.[(((((triple7 triple6) -> rule7)) -> rule8))] @3: Charlie is smart.[(((((((triple2 triple1) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule8) OR ((((((triple2 ((triple3 triple2) -> rule5)) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule8) OR ((((((((triple2) -> rule4) triple1) -> rule6) ((triple2) -> rule4)) -> rule7)) -> rule8) OR ((((((((triple2) -> rule4) ((triple3 triple2) -> rule5)) -> rule6) ((triple2) -> rule4)) -> rule7)) -> rule8))] Gary is furry.[(((((((triple7 triple6) -> rule7)) -> rule8)) -> rule2))]