Charlie is green. Charlie is kind. Erin is blue. Erin is kind. Fiona is green. Gary is blue. Gary is furry. Gary is green. Gary is kind. Gary is round. If someone is round and kind then they are green. All green, round people are blue. Round people are big. If someone is kind then they are furry. All blue people are kind. If someone is green then they are big. If Erin is cold and Erin is green then Erin is blue. Cold, blue people are kind. All green, big people are round.
Fiona is not kind.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2 OR ((((triple1 ((triple1 ((triple1) -> rule6)) -> rule9)) -> rule2)) -> rule5))] Erin is blue.[(triple3)] Erin is kind.[(triple4 OR ((triple3) -> rule5))] Fiona is green.[(triple5)] Gary is blue.[(triple6 OR ((triple8 triple10) -> rule2) OR ((((triple10 triple9) -> rule1) triple10) -> rule2) OR ((triple8 ((triple8 ((triple8) -> rule6)) -> rule9)) -> rule2) OR ((((triple10 triple9) -> rule1) ((triple8 ((triple8) -> rule6)) -> rule9)) -> rule2))] Gary is furry.[(triple7 OR ((triple9) -> rule4) OR ((((triple6) -> rule5)) -> rule4) OR ((((((triple8 triple10) -> rule2)) -> rule5)) -> rule4) OR ((((((triple8 ((triple8 ((triple8) -> rule6)) -> rule9)) -> rule2)) -> rule5)) -> rule4))] Gary is green.[(triple8 OR ((triple10 triple9) -> rule1) OR ((triple10 ((triple6) -> rule5)) -> rule1))] Gary is kind.[(triple9 OR ((triple6) -> rule5) OR ((((triple8 triple10) -> rule2)) -> rule5) OR ((((triple8 ((triple8 ((triple8) -> rule6)) -> rule9)) -> rule2)) -> rule5))] Gary is round.[(triple10 OR ((triple8 ((triple8) -> rule6)) -> rule9))] @1: Charlie is big.[(((triple1) -> rule6))] Charlie is furry.[(((triple2) -> rule4) OR ((((((triple1 ((triple1 ((triple1) -> rule6)) -> rule9)) -> rule2)) -> rule5)) -> rule4))] Erin is furry.[(((triple4) -> rule4) OR ((((triple3) -> rule5)) -> rule4))] Fiona is big.[(((triple5) -> rule6))] Gary is big.[(((triple10) -> rule3) OR ((triple8) -> rule6) OR ((((triple10 triple9) -> rule1)) -> rule6) OR ((((triple10 ((triple6) -> rule5)) -> rule1)) -> rule6))] @2: Charlie is round.[(((triple1 ((triple1) -> rule6)) -> rule9))] Fiona is round.[(((triple5 ((triple5) -> rule6)) -> rule9))] @3: Charlie is blue.[(((triple1 ((triple1 ((triple1) -> rule6)) -> rule9)) -> rule2))] Fiona is blue.[(((triple5 ((triple5 ((triple5) -> rule6)) -> rule9)) -> rule2))] @4: Fiona is kind.[(((((triple5 ((triple5 ((triple5) -> rule6)) -> rule9)) -> rule2)) -> rule5))] @5: Fiona is furry.[(((((((triple5 ((triple5 ((triple5) -> rule6)) -> rule9)) -> rule2)) -> rule5)) -> rule4))]