Anne is cold. Bob is big. Bob is cold. Bob is green. Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is rough. Dave is round. If Bob is kind and Bob is cold then Bob is big. If someone is cold and green then they are round. Nice people are rough.
Bob is nice.
@0: Anne is cold.[(triple1)] Bob is big.[(triple2)] Bob is cold.[(triple3)] Bob is green.[(triple4)] Dave is cold.[(triple5)] Dave is green.[(triple6)] Dave is kind.[(triple7)] Dave is nice.[(triple8)] Dave is rough.[(triple9 OR ((triple8) -> rule3))] Dave is round.[(triple10 OR ((triple5 triple6) -> rule2))] @1: Bob is round.[(((triple3 triple4) -> rule2))]