Dave is not big. Dave is red. Fiona is big. Fiona is not cold. Fiona is not furry. Fiona is red. Fiona is smart. Gary is green. Gary is red. Gary is smart. All green things are smart. Smart things are not quiet. If something is furry then it is red. If something is quiet then it is cold. If something is green and not quiet then it is cold. If Gary is cold then Gary is not big.
Dave is cold.
@0: Dave is not big.[(triple1)] Dave is red.[(triple2)] Fiona is big.[(triple3)] Fiona is not cold.[(triple4)] Fiona is not furry.[(triple5)] Fiona is red.[(triple6)] Fiona is smart.[(triple7)] Gary is green.[(triple8)] Gary is red.[(triple9)] Gary is smart.[(triple10 OR ((triple8) -> rule1))] @1: Fiona is not quiet.[(((triple7) -> rule2))] Gary is not quiet.[(((triple10) -> rule2) OR ((((triple8) -> rule1)) -> rule2))] @2: Gary is cold.[(((triple8 ((triple10) -> rule2)) -> rule5) OR ((triple8 ((((triple8) -> rule1)) -> rule2)) -> rule5))] @3: Gary is not big.[(((((triple8 ((triple10) -> rule2)) -> rule5)) -> rule6) OR ((((triple8 ((((triple8) -> rule1)) -> rule2)) -> rule5)) -> rule6))]