Bob is big. Bob is blue. Bob is cold. Bob is red. Dave is cold. Fiona is cold. Fiona is smart. Blue, big people are smart. If someone is red and smart then they are cold. If someone is rough and big then they are round. If someone is rough and blue then they are round. All red people are rough. Red people are cold.
Dave is red.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3 OR ((triple4) -> rule6) OR ((triple4 ((triple2 triple1) -> rule1)) -> rule2))] Bob is red.[(triple4)] Dave is cold.[(triple5)] Fiona is cold.[(triple6)] Fiona is smart.[(triple7)] @1: Bob is rough.[(((triple4) -> rule5))] Bob is smart.[(((triple2 triple1) -> rule1))] @2: Bob is round.[(((((triple4) -> rule5) triple1) -> rule3) OR ((((triple4) -> rule5) triple2) -> rule4))]