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