Bob is big. Bob is cold. Dave is cold. Dave is furry. Dave is quiet. Dave is white. Erin is cold. Erin is white. Gary is furry. Gary is white. Furry, big people are smart. All white people are cold. All cold, white people are big.
Bob is not smart.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Dave is cold.[(triple3 OR ((triple6) -> rule2))] Dave is furry.[(triple4)] Dave is quiet.[(triple5)] Dave is white.[(triple6)] Erin is cold.[(triple7 OR ((triple8) -> rule2))] Erin is white.[(triple8)] Gary is furry.[(triple9)] Gary is white.[(triple10)] @1: Dave is big.[(((triple3 triple6) -> rule3) OR ((((triple6) -> rule2) triple6) -> rule3))] Erin is big.[(((triple7 triple8) -> rule3) OR ((((triple8) -> rule2) triple8) -> rule3))] Gary is cold.[(((triple10) -> rule2))] @2: Dave is smart.[(((triple4 ((triple3 triple6) -> rule3)) -> rule1) OR ((triple4 ((((triple6) -> rule2) triple6) -> rule3)) -> rule1))] Gary is big.[(((((triple10) -> rule2) triple10) -> rule3))] @3: Gary is smart.[(((triple9 ((((triple10) -> rule2) triple10) -> rule3)) -> rule1))]