Anne is blue. Anne is quiet. Anne is young. Bob is big. Bob is furry. Bob is quiet. Bob is red. Bob is young. Dave is big. Dave is blue. Fiona is big. Fiona is blue. If someone is blue then they are smart. If Anne is smart then Anne is furry. If Bob is smart then Bob is quiet. All furry people are red. If Fiona is quiet then Fiona is furry. All smart, red people are big.
Fiona is young.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Anne is young.[(triple3)] Bob is big.[(triple4)] Bob is furry.[(triple5)] Bob is quiet.[(triple6)] Bob is red.[(triple7 OR ((triple5) -> rule4))] Bob is young.[(triple8)] Dave is big.[(triple9)] Dave is blue.[(triple10)] Fiona is big.[(triple11)] Fiona is blue.[(triple12)] @1: Anne is smart.[(((triple1) -> rule1))] Dave is smart.[(((triple10) -> rule1))] Fiona is smart.[(((triple12) -> rule1))] @2: Anne is furry.[(((((triple1) -> rule1)) -> rule2))] @3: Anne is red.[(((((((triple1) -> rule1)) -> rule2)) -> rule4))] @4: Anne is big.[(((((triple1) -> rule1) ((((((triple1) -> rule1)) -> rule2)) -> rule4)) -> rule6))]