Bob is big. Bob is cold. Bob is nice. Bob is quiet. Dave is big. Dave is cold. Dave is nice. Dave is quiet. Dave is round. Dave is white. If something is big then it is white. If Dave is white and Dave is quiet then Dave is cold. If Dave is blue then Dave is quiet. If Dave is blue and Dave is quiet then Dave is cold. If Bob is big and Bob is blue then Bob is round. All blue things are nice. If something is quiet and round then it is big. Blue things are big.
Bob is not cold.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Dave is big.[(triple5 OR ((triple8 triple9) -> rule7))] Dave is cold.[(triple6 OR ((triple10 triple8) -> rule2) OR ((((triple5) -> rule1) triple8) -> rule2) OR ((((((triple8 triple9) -> rule7)) -> rule1) triple8) -> rule2))] Dave is nice.[(triple7)] Dave is quiet.[(triple8)] Dave is round.[(triple9)] Dave is white.[(triple10 OR ((triple5) -> rule1) OR ((((triple8 triple9) -> rule7)) -> rule1))] @1: Bob is white.[(((triple1) -> rule1))]