Anne is big. Anne is blue. Anne is red. Bob is blue. Bob is cold. Bob is nice. Bob is red. Bob is rough. Bob is smart. Dave is big. Dave is blue. Dave is cold. If something is red and blue then it is big. Blue, nice things are rough.
Bob is not nice.
@0: Anne is big.[(triple1 OR ((triple3 triple2) -> rule1))] Anne is blue.[(triple2)] Anne is red.[(triple3)] Bob is blue.[(triple4)] Bob is cold.[(triple5)] Bob is nice.[(triple6)] Bob is red.[(triple7)] Bob is rough.[(triple8 OR ((triple4 triple6) -> rule2))] Bob is smart.[(triple9)] Dave is big.[(triple10)] Dave is blue.[(triple11)] Dave is cold.[(triple12)] @1: Bob is big.[(((triple7 triple4) -> rule1))]