Anne is big. Bob is blue. Bob is cold. Bob is green. Bob is smart. Erin is big. Fiona is blue. Cold, red things are big. If something is kind then it is red. All green things are not red. Smart, green things are not red. If something is red and not kind then it is blue. Cold things are smart.
Bob is blue.
@0: Anne is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is green.[(triple4)] Bob is smart.[(triple5 OR ((triple3) -> rule6))] Erin is big.[(triple6)] Fiona is blue.[(triple7)] @1: Bob is not red.[(((triple4) -> rule3) OR ((triple5 triple4) -> rule4) OR ((((triple3) -> rule6) triple4) -> rule4))]