Anne is smart. Bob is blue. Bob is cold. Bob is red. Bob is smart. Fiona is not nice. Fiona is red. All smart people are nice. Cold people are nice. If someone is kind and not cold then they are nice. All smart people are nice. If Bob is kind then Bob is big. All cold, nice people are blue. All nice, cold people are blue. If someone is kind and nice then they are not blue.
Bob is blue.
@0: Anne is smart.[(triple1)] Bob is blue.[(triple2 OR ((triple3 ((triple3) -> rule2)) -> rule6) OR ((triple3 ((triple5) -> rule1)) -> rule6) OR ((triple3 ((triple5) -> rule4)) -> rule6) OR ((((triple3) -> rule2) triple3) -> rule7) OR ((((triple5) -> rule1) triple3) -> rule7) OR ((((triple5) -> rule4) triple3) -> rule7))] Bob is cold.[(triple3)] Bob is red.[(triple4)] Bob is smart.[(triple5)] Fiona is not nice.[(triple6)] Fiona is red.[(triple7)] @1: Anne is nice.[(((triple1) -> rule1) OR ((triple1) -> rule4))] Bob is nice.[(((triple3) -> rule2) OR ((triple5) -> rule1) OR ((triple5) -> rule4))]