Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is round. Bob is smart. Bob is white. Dave is green. Dave is round. Erin is cold. If someone is round then they are white. White people are furry. Furry people are big.
Dave is big.
@0: Bob is big.[(triple1 OR ((triple3) -> rule3) OR ((((triple7) -> rule2)) -> rule3) OR ((((((triple5) -> rule1)) -> rule2)) -> rule3))] Bob is cold.[(triple2)] Bob is furry.[(triple3 OR ((triple7) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] Bob is green.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7 OR ((triple5) -> rule1))] Dave is green.[(triple8)] Dave is round.[(triple9)] Erin is cold.[(triple10)] @1: Dave is white.[(((triple9) -> rule1))] @2: Dave is furry.[(((((triple9) -> rule1)) -> rule2))] @3: Dave is big.[(((((((triple9) -> rule1)) -> rule2)) -> rule3))]