Bob is big. Bob is blue. Bob is cold. Bob is nice. Bob is round. Bob is smart. Bob is white. Dave is big. Dave is blue. Dave is cold. Dave is nice. Dave is round. Dave is smart. Dave is white. Big people are smart. All big, white people are round. All nice, blue people are white.
Dave is white.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is nice.[(triple4)] Bob is round.[(triple5 OR ((triple1 triple7) -> rule2) OR ((triple1 ((triple4 triple2) -> rule3)) -> rule2))] Bob is smart.[(triple6 OR ((triple1) -> rule1))] Bob is white.[(triple7 OR ((triple4 triple2) -> rule3))] Dave is big.[(triple8)] Dave is blue.[(triple9)] Dave is cold.[(triple10)] Dave is nice.[(triple11)] Dave is round.[(triple12 OR ((triple8 triple14) -> rule2) OR ((triple8 ((triple11 triple9) -> rule3)) -> rule2))] Dave is smart.[(triple13 OR ((triple8) -> rule1))] Dave is white.[(triple14 OR ((triple11 triple9) -> rule3))]