Anne is big. Anne is nice. Bob is big. Bob is cold. Bob is nice. Fiona is cold. Gary is not cold. If someone is nice and cold then they are smart. If someone is nice and big then they are cold. Furry people are round.
Bob is not big.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Bob is big.[(triple3)] Bob is cold.[(triple4 OR ((triple5 triple3) -> rule2))] Bob is nice.[(triple5)] Fiona is cold.[(triple6)] Gary is not cold.[(triple7)] @1: Anne is cold.[(((triple2 triple1) -> rule2))] Bob is smart.[(((triple5 triple4) -> rule1) OR ((triple5 ((triple5 triple3) -> rule2)) -> rule1))] @2: Anne is smart.[(((triple2 ((triple2 triple1) -> rule2)) -> rule1))]