Bob is green. Bob is red. Bob is smart. Erin is kind. Erin is quiet. Harry is big. Harry is green. Harry is kind. Harry is round. Harry is smart. Green, kind people are big. All red people are quiet. All red, quiet people are kind.
Bob is big.
@0: Bob is green.[(triple1)] Bob is red.[(triple2)] Bob is smart.[(triple3)] Erin is kind.[(triple4)] Erin is quiet.[(triple5)] Harry is big.[(triple6 OR ((triple7 triple8) -> rule1))] Harry is green.[(triple7)] Harry is kind.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10)] @1: Bob is quiet.[(((triple2) -> rule2))] @2: Bob is kind.[(((triple2 ((triple2) -> rule2)) -> rule3))] @3: Bob is big.[(((triple1 ((triple2 ((triple2) -> rule2)) -> rule3)) -> rule1))]