Bob is red. Bob is smart. Bob is young. Charlie is big. Erin is furry. Erin is green. Harry is red. If Charlie is big and Charlie is red then Charlie is young. If Harry is big and Harry is furry then Harry is red. If someone is green and young then they are furry. All big, furry people are young. If someone is young then they are big. If Erin is kind then Erin is furry. If Erin is young and Erin is green then Erin is smart. If someone is green and furry then they are big.
Charlie is not red.
@0: Bob is red.[(triple1)] Bob is smart.[(triple2)] Bob is young.[(triple3)] Charlie is big.[(triple4)] Erin is furry.[(triple5)] Erin is green.[(triple6)] Harry is red.[(triple7)] @1: Bob is big.[(((triple3) -> rule5))] Erin is big.[(((triple6 triple5) -> rule8))] @2: Erin is young.[(((((triple6 triple5) -> rule8) triple5) -> rule4))] @3: Erin is smart.[(((((((triple6 triple5) -> rule8) triple5) -> rule4) triple6) -> rule7))]