Bob is big. Bob is quiet. Bob is red. Bob is rough. Dave is not blue. Dave is round. Erin is blue. Fiona is blue. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is young. If Fiona is quiet then Fiona is red. If Fiona is round and Fiona is not quiet then Fiona is not red. If Bob is quiet and Bob is not rough then Bob is not red. If something is quiet and not young then it is round. If something is blue and not quiet then it is round. If Erin is quiet and Erin is not rough then Erin is round. If something is young then it is big. If something is round and not big then it is red.
Bob is blue.
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Dave is not blue.[(triple5)] Dave is round.[(triple6)] Erin is blue.[(triple7)] Fiona is blue.[(triple8)] Fiona is quiet.[(triple9)] Fiona is rough.[(triple10)] Fiona is round.[(triple11)] Fiona is young.[(triple12)] @1: Fiona is big.[(((triple12) -> rule7))] Fiona is red.[(((triple9) -> rule1))]