Bob is blue. Bob is not furry. Bob is quiet. Dave is cold. Dave is not furry. Dave is kind. Dave is red. Fiona is not big. Fiona is kind. Fiona is quiet. Furry people are quiet. If someone is furry and not blue then they are cold. All quiet, blue people are cold. All cold people are red. If Fiona is cold then Fiona is red. If someone is blue and cold then they are big. If someone is kind and not cold then they are not big. If someone is big then they are kind.
Fiona is not cold.
@0: Bob is blue.[(triple1)] Bob is not furry.[(triple2)] Bob is quiet.[(triple3)] Dave is cold.[(triple4)] Dave is kind.[(triple6)] Dave is not furry.[(triple5)] Dave is red.[(triple7 OR ((triple4) -> rule4))] Fiona is kind.[(triple9)] Fiona is not big.[(triple8)] Fiona is quiet.[(triple10)] @1: Bob is cold.[(((triple3 triple1) -> rule3))] @2: Bob is big.[(((triple1 ((triple3 triple1) -> rule3)) -> rule6))] Bob is red.[(((((triple3 triple1) -> rule3)) -> rule4))] @3: Bob is kind.[(((((triple1 ((triple3 triple1) -> rule3)) -> rule6)) -> rule8))]