Bob is big. Bob is blue. Bob is smart. Erin is smart. Fiona is furry. Harry is blue. Harry is furry. If Bob is young then Bob is smart. Blue, young people are smart. All quiet, smart people are green. If someone is furry then they are smart. If someone is smart then they are quiet. Blue, quiet people are big.
Erin is not green.
@0: Bob is big.[(triple1 OR ((triple2 ((triple3) -> rule5)) -> rule6))] Bob is blue.[(triple2)] Bob is smart.[(triple3)] Erin is smart.[(triple4)] Fiona is furry.[(triple5)] Harry is blue.[(triple6)] Harry is furry.[(triple7)] @1: Bob is quiet.[(((triple3) -> rule5))] Erin is quiet.[(((triple4) -> rule5))] Fiona is smart.[(((triple5) -> rule4))] Harry is smart.[(((triple7) -> rule4))] @2: Bob is green.[(((((triple3) -> rule5) triple3) -> rule3))] Erin is green.[(((((triple4) -> rule5) triple4) -> rule3))] Fiona is quiet.[(((((triple5) -> rule4)) -> rule5))] Harry is quiet.[(((((triple7) -> rule4)) -> rule5))] @3: Fiona is green.[(((((((triple5) -> rule4)) -> rule5) ((triple5) -> rule4)) -> rule3))] Harry is big.[(((triple6 ((((triple7) -> rule4)) -> rule5)) -> rule6))] Harry is green.[(((((((triple7) -> rule4)) -> rule5) ((triple7) -> rule4)) -> rule3))]