Charlie is quiet. Dave is big. Dave is cold. Dave is nice. Fiona is cold. Fiona is nice. Fiona is quiet. Gary is big. Gary is kind. Gary is quiet. If Gary is quiet then Gary is nice. Red, nice things are kind. If something is big and nice then it is kind.
Fiona is quiet.
@0: Charlie is quiet.[(triple1)] Dave is big.[(triple2)] Dave is cold.[(triple3)] Dave is nice.[(triple4)] Fiona is cold.[(triple5)] Fiona is nice.[(triple6)] Fiona is quiet.[(triple7)] Gary is big.[(triple8)] Gary is kind.[(triple9 OR ((triple8 ((triple10) -> rule1)) -> rule3))] Gary is quiet.[(triple10)] @1: Dave is kind.[(((triple2 triple4) -> rule3))] Gary is nice.[(((triple10) -> rule1))]