Bob is big. Bob is blue. Bob is kind. Bob is white. Dave is big. Dave is furry. Dave is red. Fiona is big. Fiona is blue. Fiona is kind. Fiona is red. Fiona is rough. If Dave is furry then Dave is blue.
Fiona is big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is kind.[(triple3)] Bob is white.[(triple4)] Dave is big.[(triple5)] Dave is furry.[(triple6)] Dave is red.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is kind.[(triple10)] Fiona is red.[(triple11)] Fiona is rough.[(triple12)] @1: Dave is blue.[(((triple6) -> rule1))]