Charlie is big. Charlie is red. Erin is furry. Erin is kind. Erin is round. Fiona is big. Fiona is blue. Fiona is kind. Gary is big. Gary is furry. Gary is red. Gary is round. If Charlie is furry and Charlie is kind then Charlie is blue. Round, furry things are red. All round things are kind. Blue, furry things are cold. If something is red and kind then it is furry. If something is blue then it is furry. All cold things are red. All big things are round.
Fiona is blue.
@0: Charlie is big.[(triple1)] Charlie is red.[(triple2)] Erin is furry.[(triple3)] Erin is kind.[(triple4 OR ((triple5) -> rule3))] Erin is round.[(triple5)] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is kind.[(triple8 OR ((((triple6) -> rule8)) -> rule3))] Gary is big.[(triple9)] Gary is furry.[(triple10 OR ((triple11 ((triple12) -> rule3)) -> rule5) OR ((triple11 ((((triple9) -> rule8)) -> rule3)) -> rule5))] Gary is red.[(triple11 OR ((triple12 triple10) -> rule2) OR ((((triple9) -> rule8) triple10) -> rule2))] Gary is round.[(triple12 OR ((triple9) -> rule8))] @1: Charlie is round.[(((triple1) -> rule8))] Erin is red.[(((triple5 triple3) -> rule2))] Fiona is furry.[(((triple7) -> rule6))] Fiona is round.[(((triple6) -> rule8))] Gary is kind.[(((triple12) -> rule3) OR ((((triple9) -> rule8)) -> rule3))] @2: Charlie is kind.[(((((triple1) -> rule8)) -> rule3))] Fiona is cold.[(((triple7 ((triple7) -> rule6)) -> rule4))] Fiona is red.[(((((triple6) -> rule8) ((triple7) -> rule6)) -> rule2) OR ((((triple7 ((triple7) -> rule6)) -> rule4)) -> rule7))] @3: Charlie is furry.[(((triple2 ((((triple1) -> rule8)) -> rule3)) -> rule5))] @4: Charlie is blue.[(((((triple2 ((((triple1) -> rule8)) -> rule3)) -> rule5) ((((triple1) -> rule8)) -> rule3)) -> rule1))] @5: Charlie is cold.[(((((((triple2 ((((triple1) -> rule8)) -> rule3)) -> rule5) ((((triple1) -> rule8)) -> rule3)) -> rule1) ((triple2 ((((triple1) -> rule8)) -> rule3)) -> rule5)) -> rule4))]