Anne is cold. Anne is round. Bob is quiet. Bob is smart. Dave is big. Dave is blue. Dave is green. Dave is quiet. Fiona is big. Fiona is blue. Fiona is not quiet. If someone is quiet and blue then they are cold. If someone is quiet then they are big. If someone is round and quiet then they are blue. All round people are blue. If Anne is cold then Anne is blue. If someone is quiet and blue then they are round. All smart, green people are round. If someone is big then they are green.
Bob is cold.
@0: Anne is cold.[(triple1)] Anne is round.[(triple2)] Bob is quiet.[(triple3)] Bob is smart.[(triple4)] Dave is big.[(triple5 OR ((triple8) -> rule2))] Dave is blue.[(triple6)] Dave is green.[(triple7 OR ((triple5) -> rule8) OR ((((triple8) -> rule2)) -> rule8))] Dave is quiet.[(triple8)] Fiona is big.[(triple9)] Fiona is blue.[(triple10)] Fiona is not quiet.[(triple11)] @1: Anne is blue.[(((triple1) -> rule5) OR ((triple2) -> rule4))] Bob is big.[(((triple3) -> rule2))] Dave is cold.[(((triple8 triple6) -> rule1))] Dave is round.[(((triple8 triple6) -> rule6))] Fiona is green.[(((triple9) -> rule8))] @2: Bob is green.[(((((triple3) -> rule2)) -> rule8))] @3: Bob is round.[(((triple4 ((((triple3) -> rule2)) -> rule8)) -> rule7))] @4: Bob is blue.[(((((triple4 ((((triple3) -> rule2)) -> rule8)) -> rule7)) -> rule4) OR ((((triple4 ((((triple3) -> rule2)) -> rule8)) -> rule7) triple3) -> rule3))] @5: Bob is cold.[(((triple3 ((((triple4 ((((triple3) -> rule2)) -> rule8)) -> rule7)) -> rule4)) -> rule1) OR ((triple3 ((((triple4 ((((triple3) -> rule2)) -> rule8)) -> rule7) triple3) -> rule3)) -> rule1))]