Bob is not big. Bob is quiet. Bob is round. Bob is young. Erin is nice. Erin is not round. Erin is smart. Erin is young. Harry is not big. Harry is nice. Harry is not quiet. Harry is smart. Round people are not big. If someone is round then they are smart. If someone is smart and not young then they are quiet. Quiet, smart people are not nice. If Erin is not smart and Erin is not big then Erin is nice. If someone is big then they are red. If someone is quiet and not smart then they are red. If someone is smart and quiet then they are not red.
Bob is nice.
@0: Bob is not big.[(triple1 OR ((triple3) -> rule1))] Bob is quiet.[(triple2)] Bob is round.[(triple3)] Bob is young.[(triple4)] Erin is nice.[(triple5)] Erin is not round.[(triple6)] Erin is smart.[(triple7)] Erin is young.[(triple8)] Harry is nice.[(triple10)] Harry is not big.[(triple9)] Harry is not quiet.[(triple11)] Harry is smart.[(triple12)] @1: Bob is smart.[(((triple3) -> rule2))] @2: Bob is not nice.[(((triple2 ((triple3) -> rule2)) -> rule4))] Bob is not red.[(((((triple3) -> rule2) triple2) -> rule8))]