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