Bob is blue. Bob is furry. Bob is green. Bob is white. Erin is green. Erin is kind. Fiona is blue. Fiona is furry. Fiona is white. Gary is kind. Kind, white things are green. Furry things are green. If Erin is blue and Erin is not round then Erin is not furry. If Gary is young then Gary is white. If something is white and not round then it is young. If Bob is green then Bob is blue. If Gary is furry and Gary is round then Gary is kind. All round, green things are blue.
Erin is round.
@0: Bob is blue.[(triple1 OR ((triple3) -> rule6) OR ((((triple2) -> rule2)) -> rule6))] Bob is furry.[(triple2)] Bob is green.[(triple3 OR ((triple2) -> rule2))] Bob is white.[(triple4)] Erin is green.[(triple5)] Erin is kind.[(triple6)] Fiona is blue.[(triple7)] Fiona is furry.[(triple8)] Fiona is white.[(triple9)] Gary is kind.[(triple10)] @1: Fiona is green.[(((triple8) -> rule2))]