Bob is not big. Bob is cold. Bob is green. Bob is nice. Dave is big. Dave is smart. Fiona is not cold. If someone is quiet and nice then they are smart. If Fiona is cold and Fiona is smart then Fiona is young. All nice, big people are young. All young, green people are not cold. Smart people are green. All green, smart people are nice.
Bob is quiet.
@0: Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4)] Bob is not big.[(triple1)] Dave is big.[(triple5)] Dave is smart.[(triple6)] Fiona is not cold.[(triple7)] @1: Dave is green.[(((triple6) -> rule5))] @2: Dave is nice.[(((((triple6) -> rule5) triple6) -> rule6))] @3: Dave is young.[(((((((triple6) -> rule5) triple6) -> rule6) triple5) -> rule3))] @4: Dave is not cold.[(((((((((triple6) -> rule5) triple6) -> rule6) triple5) -> rule3) ((triple6) -> rule5)) -> rule4))]