Anne is big. Anne is green. Anne is smart. Dave is nice. Dave is smart. Fiona is green. Fiona is nice. Gary is cold. Gary is green. Gary is nice. All white things are big. If something is white then it is cold. If Anne is green then Anne is big. All green things are cold. If Fiona is green and Fiona is cold then Fiona is smart. If something is big and cold then it is quiet. Smart things are white.
Dave is cold.
@0: Anne is big.[(triple1 OR ((triple2) -> rule3) OR ((((triple3) -> rule7)) -> rule1))] Anne is green.[(triple2)] Anne is smart.[(triple3)] Dave is nice.[(triple4)] Dave is smart.[(triple5)] Fiona is green.[(triple6)] Fiona is nice.[(triple7)] Gary is cold.[(triple8 OR ((triple9) -> rule4))] Gary is green.[(triple9)] Gary is nice.[(triple10)] @1: Anne is cold.[(((triple2) -> rule4) OR ((((triple3) -> rule7)) -> rule2))] Anne is white.[(((triple3) -> rule7))] Dave is white.[(((triple5) -> rule7))] Fiona is cold.[(((triple6) -> rule4))] @2: Anne is quiet.[(((triple1 ((triple2) -> rule4)) -> rule6) OR ((((triple2) -> rule3) ((triple2) -> rule4)) -> rule6) OR ((triple1 ((((triple3) -> rule7)) -> rule2)) -> rule6) OR ((((triple2) -> rule3) ((((triple3) -> rule7)) -> rule2)) -> rule6) OR ((((((triple3) -> rule7)) -> rule1) ((triple2) -> rule4)) -> rule6) OR ((((((triple3) -> rule7)) -> rule1) ((((triple3) -> rule7)) -> rule2)) -> rule6))] Dave is big.[(((((triple5) -> rule7)) -> rule1))] Dave is cold.[(((((triple5) -> rule7)) -> rule2))] Fiona is smart.[(((triple6 ((triple6) -> rule4)) -> rule5))] @3: Dave is quiet.[(((((((triple5) -> rule7)) -> rule1) ((((triple5) -> rule7)) -> rule2)) -> rule6))] Fiona is white.[(((((triple6 ((triple6) -> rule4)) -> rule5)) -> rule7))] @4: Fiona is big.[(((((((triple6 ((triple6) -> rule4)) -> rule5)) -> rule7)) -> rule1))] @5: Fiona is quiet.[(((((((((triple6 ((triple6) -> rule4)) -> rule5)) -> rule7)) -> rule1) ((triple6) -> rule4)) -> rule6))]