Bob is red. Charlie is nice. Charlie is smart. Dave is cold. Dave is smart. Fiona is big. Fiona is red. All green people are rough. Red, smart people are green. If Bob is green and Bob is rough then Bob is red. If someone is rough then they are big. If someone is smart and big then they are cold. If someone is green and big then they are nice. All smart, nice people are cold. All nice, rough people are big. If Dave is cold then Dave is red.
Fiona is not nice.
@0: Bob is red.[(triple1)] Charlie is nice.[(triple2)] Charlie is smart.[(triple3)] Dave is cold.[(triple4)] Dave is smart.[(triple5)] Fiona is big.[(triple6)] Fiona is red.[(triple7)] @1: Charlie is cold.[(((triple3 triple2) -> rule7))] Dave is red.[(((triple4) -> rule9))] @2: Dave is green.[(((((triple4) -> rule9) triple5) -> rule2))] @3: Dave is rough.[(((((((triple4) -> rule9) triple5) -> rule2)) -> rule1))] @4: Dave is big.[(((((((((triple4) -> rule9) triple5) -> rule2)) -> rule1)) -> rule4))] @5: Dave is nice.[(((((((triple4) -> rule9) triple5) -> rule2) ((((((((triple4) -> rule9) triple5) -> rule2)) -> rule1)) -> rule4)) -> rule6))]