Bob is furry. Bob is round. Bob is smart. Dave is cold. Dave is round. Dave is smart. Dave is young. Fiona is big. Fiona is young. Gary is round. If Dave is round then Dave is quiet. Big, young people are round. All quiet, big people are smart. All round, young people are quiet. Young people are big. All cold, round people are quiet.
Fiona is not big.
@0: Bob is furry.[(triple1)] Bob is round.[(triple2)] Bob is smart.[(triple3)] Dave is cold.[(triple4)] Dave is round.[(triple5 OR ((((triple7) -> rule5) triple7) -> rule2))] Dave is smart.[(triple6 OR ((((triple5) -> rule1) ((triple7) -> rule5)) -> rule3) OR ((((triple4 triple5) -> rule6) ((triple7) -> rule5)) -> rule3) OR ((((triple5 triple7) -> rule4) ((triple7) -> rule5)) -> rule3) OR ((((((((triple7) -> rule5) triple7) -> rule2)) -> rule1) ((triple7) -> rule5)) -> rule3) OR ((((triple4 ((((triple7) -> rule5) triple7) -> rule2)) -> rule6) ((triple7) -> rule5)) -> rule3) OR ((((((((triple7) -> rule5) triple7) -> rule2) triple7) -> rule4) ((triple7) -> rule5)) -> rule3))] Dave is young.[(triple7)] Fiona is big.[(triple8 OR ((triple9) -> rule5))] Fiona is young.[(triple9)] Gary is round.[(triple10)] @1: Dave is big.[(((triple7) -> rule5))] Dave is quiet.[(((triple5) -> rule1) OR ((triple4 triple5) -> rule6) OR ((triple5 triple7) -> rule4) OR ((((((triple7) -> rule5) triple7) -> rule2)) -> rule1) OR ((triple4 ((((triple7) -> rule5) triple7) -> rule2)) -> rule6) OR ((((((triple7) -> rule5) triple7) -> rule2) triple7) -> rule4))] Fiona is round.[(((triple8 triple9) -> rule2) OR ((((triple9) -> rule5) triple9) -> rule2))] @2: Fiona is quiet.[(((((triple8 triple9) -> rule2) triple9) -> rule4) OR ((((((triple9) -> rule5) triple9) -> rule2) triple9) -> rule4))] @3: Fiona is smart.[(((((((triple8 triple9) -> rule2) triple9) -> rule4) triple8) -> rule3) OR ((((((triple8 triple9) -> rule2) triple9) -> rule4) ((triple9) -> rule5)) -> rule3) OR ((((((((triple9) -> rule5) triple9) -> rule2) triple9) -> rule4) triple8) -> rule3) OR ((((((((triple9) -> rule5) triple9) -> rule2) triple9) -> rule4) ((triple9) -> rule5)) -> rule3))]