Charlie is big. Dave is nice. Erin is furry. Erin is red. Harry is furry. Harry is nice. Harry is round. All blue people are round. If Erin is cold and Erin is blue then Erin is not red. All nice people are blue.
Charlie is blue.
@0: Charlie is big.[(triple1)] Dave is nice.[(triple2)] Erin is furry.[(triple3)] Erin is red.[(triple4)] Harry is furry.[(triple5)] Harry is nice.[(triple6)] Harry is round.[(triple7 OR ((((triple6) -> rule3)) -> rule1))] @1: Dave is blue.[(((triple2) -> rule3))] Harry is blue.[(((triple6) -> rule3))] @2: Dave is round.[(((((triple2) -> rule3)) -> rule1))]